Menu

Commit [r4309]  Maximize  Restore  History

[ 512016 ] Get rid of PreventExitSecurityManager

as suggested almost 6 years ago ;-)
D src/edu/rice/cs/util/PreventExitSecurityManagerTest.java
D src/edu/rice/cs/util/PreventExitSecurityManager.java

mgricken 2008-01-18

removed /trunk/drjava/src/edu/rice/cs/util/PreventExitSecurityManager.java
removed /trunk/drjava/src/edu/rice/cs/util/PreventExitSecurityManagerTest.java
MongoDB Logo MongoDB