Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: da12d5c76e
Fetching contributors…

Cannot retrieve contributors at this time

8 lines (5 sloc) 0.155 kb
(** Project configuration file *)
(** The name of the project. *)
val name : string
(** The lowercase version of the project name. *)
val lname : string
Jump to Line
Something went wrong with that request. Please try again.