Index of /trunk/configfile

File		Rev.	Age	Author	Last log entry
Parent Directory
Makefile		56	7 years	berke-guest	Reusing makefiles. Build-depends: m4.
configfile.ml		51	7 years	berke-guest	Lots of bug fixes.
configfile.mli		51	7 years	berke-guest	Lots of bug fixes.
configuration.ml		52	7 years	berke-guest	Missing low_memory in cli/opt.ml. Config-file upgrading.
configuration.mli		46	7 years	berke-guest	Fixed database reloading problem in CLI. Added .mli files.
configurator.ml		51	7 years	berke-guest	Lots of bug fixes.
configurator.mli		46	7 years	berke-guest	Fixed database reloading problem in CLI. Added .mli files.
oldconfig.ml		25	7 years	berke-guest	Fixed install modes. Fixed configuration upgrading from <=1.0.4.
oldconfig.mli		46	7 years	berke-guest	Fixed database reloading problem in CLI. Added .mli files.
test.config		9	7 years	berke	Added saving.