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