Module Rep_installation (.ml)


module Rep_installation: sig .. end
Names of installation directories, completed by the configure script.

val glade_dir : string
Directories with glade templates.
val software_version : string
The version number of the software
val glade_file : string
The default glade template.