Revision be3dd43f
.gitignore | ||
---|---|---|
1 |
/_build/ |
|
2 |
/main_lustre_compiler.native |
|
3 |
/setup.data |
|
4 |
/setup.log |
|
5 |
/src/version.ml |
Also available in: Unified diff
.gitignore | ||
---|---|---|
1 |
/_build/ |
|
2 |
/main_lustre_compiler.native |
|
3 |
/setup.data |
|
4 |
/setup.log |
|
5 |
/src/version.ml |
Also available in: Unified diff