edu.rice.cs.drjava.config
Interface ConfigurationTool


public interface ConfigurationTool

Interface which sets up the global configuration object at runtime. NOTE: Not used any more. DrJava.java now handles all setup of the config object, because it must be delayed until the user can specify a custom config file.

Version:
$Id: ConfigurationTool.java,v 1.5 2002/09/02 21:24:11 csreis Exp $