lustrec/src/version.ml @ ca7ff3f7
| 1 | ac6ce5a1 | Lélio Brun | let number = "@PACKAGE_VERSION@-@GITBRANCH@" |
|---|---|---|---|
| 2 | 1e48ef45 | ploc | |
| 3 | ca7ff3f7 | Lélio Brun | let codename = "@VERSION_CODENAME@" |
| 4 | 41e48ef3 | Eric NOULARD | |
| 5 | 57c96fb7 | Lélio Brun | let include_path = Sites.Sites.include_ |> List.hd |
| 6 | ca7ff3f7 | Lélio Brun | |
| 7 | 57c96fb7 | Lélio Brun | let testgen_path = Sites.Sites.testgen |> List.hd |