A small timer plugin intended for use as a rotation timer in a Coding Dojo.
The plugin interrupts you after the set time runs out.
It forbids further access to any eclipse functionality...
Other, General Purpose Tools, Tools
Last Updated on Wednesday, September 4, 2019 - 11:40 by Gerd Augsburg