Menu

Commit [r19]  Maximize  Restore  History

Renamed XML configuratoin file to spl-config.xml, added spl-brief.ini for minimalistic execution, removed obsolete scan.bat for invoking Scanner.

lacinam 2013-01-28

removed /SPLconfig.xml
removed /scan.bat
added /spl-brief.ini
added /spl-config.xml
changed /src/cz/cuni/mff/d3s/spl/examples/StaticOne.java
/SPLconfig.xml
File was removed.
/scan.bat
File was removed.
/spl-brief.ini Diff Switch to side-by-side view
Loading...
/spl-config.xml Diff Switch to side-by-side view
Loading...
/src/cz/cuni/mff/d3s/spl/examples/StaticOne.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB