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

Expand file tree

/

package.html

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
21 lines (17 loc) · 536 Bytes
/

package.html

Copy path

File metadata and controls

21 lines (17 loc) · 536 Bytes
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--
HTML file providing an overview of the contents of this package.
$Id$
-->
</head>
<body bgcolor="white">
This package contains the code that allows for dynamically modifying
the configuration options in DrJava. {@link
edu.rice.cs.drjava.config.Configuration} is the primary class that
maintains the config information, while {@link
edu.rice.cs.drjava.config.OptionConstants} contains all the default
values for the configurable options.
</body>
</html>
Morty Proxy This is a proxified and sanitized view of the page, visit original site.