         Config_file

*** What is Config_file ***
Config_file is a library used to manage the configuration file(s) of an
application. You simply define your options and it performs the loading
and saving of the options in a file. You can also use the same options
in the command line.

*** Installation
See the INSTALL file for the compilation and installation procedure.

*** Authors ***
Fabrice Le Fessant <fabrice.lefessant@inria.fr>
Maxence Guesdon <maxence.guesdon@inria.fr>
Object rewrite by Jean-Baptiste Rouquier <jrouquie@gmail.com>
