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, Tools, General Purpose Tools
Last Updated on Friday, January 24, 2020 - 10:14 by Gerd Augsburg