Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / version.ml @ 3b2bd83d

History | View | Annotate | Download (174 Bytes)

1 e2068500 Temesghen Kahsai
2 3b2bd83d Teme
let number = "1.3-     459"
3 e2068500 Temesghen Kahsai
4 3b2bd83d Teme
let codename ="Xia/Zhong-Kang-dev"
5
6
let prefix = "/Users/Teme/Documents/GitHub/lustrec/cocosim"
7 e2068500 Temesghen Kahsai
8
let include_path = prefix ^ "/include/lustrec"