Project

General

Profile

Revision 3b2bd83d src/version.ml

View differences:

src/version.ml
1 1

  
2
let number = "1.1-Unversioned directory"
2
let number = "1.3-     459"
3 3

  
4
let prefix = "/usr/local"
4
let codename ="Xia/Zhong-Kang-dev"
5

  
6
let prefix = "/Users/Teme/Documents/GitHub/lustrec/cocosim"
5 7

  
6 8
let include_path = prefix ^ "/include/lustrec"

Also available in: Unified diff