Listings owned by Gerd Augsburg

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...