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...
Tools, General Purpose Tools, Other
Last Updated on Monday, April 20, 2020 - 13:13 by Gerd Augsburg