| [ Web Proxy ] |
| Viewing: https://raw.githubusercontent.com/kauffman77/drjava/master/drjava/testFiles/drjava.basic.config | [Back] [Original] |
#DrJava configuration file #Fri Jun 13 22:30:19 CDT 2008 key.delete.next = [shift DELETE] key.delete.previous = [shift BACK_SPACE] window.x = 240 window.y = 50 #compile.before.junit = true
| Web Proxy Viewer | New URL | Original Page |