Project

General

Profile

Revision be3dd43f

View differences:

.gitignore
1
/_build/
2
/main_lustre_compiler.native
3
/setup.data
4
/setup.log
5
/src/version.ml

Also available in: Unified diff