Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
10 lines (8 loc) · 407 Bytes

File metadata and controls

10 lines (8 loc) · 407 Bytes
Copy raw file
Download raw file
Edit and raw actions

drjava

Branches for integration and releases

The drscala branch is the current DrScala repo. The develop branch is a variant of the drscala branch, so I expected to see it below drscala in the branch hierarchy rather than beside it. I clearly don't understand github very well. I build DrJava and (local) DrScala releases frame this code base but I upload distribute them through Sourceforge.

-- Corky

Morty Proxy This is a proxified and sanitized view of the page, visit original site.