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 Thursday, August 23, 2018 - 15:12 by Gerd Augsburg