DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r5452] Maximize Restore History

Changed linenum.enabled to lineenum.enabled.

Authored by: mgricken 2011-09-03

Browse code at this revision

Parent: [r5451]

Child: [r5453]

changed

/trunk/docs/src/user/userdoc.docbook

/trunk/docs/src/user/userdoc.docbook Diff Switch to side-by-side view