FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
drjava/drjava/testFiles/drjava.basic.config at master · jiverson002/drjava · GitHub
This repository was archived by the owner on Jan 26, 2019. It is now read-only.
jiverson002
drjava
Repository navigation
Code
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Expand file tree
Breadcrumbs
drjava
/
drjava
/
testFiles
/
drjava.basic.config
Copy path
More file actions
More file actions
Latest commit
History
History
History
7 lines (7 loc) · 188 Bytes
Breadcrumbs
drjava
/
drjava
/
testFiles
/
drjava.basic.config
Copy path
File metadata and controls
7 lines (7 loc) · 188 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
#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
Back
|
FazBrowse Home
|
New Git URL