Project

General

Profile

Download (207 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let prefix_path = (Filename.dirname Sys.argv.(0)) ^ "../"
2
let enable_salsa = {{ enable_salsa }}
3
let enable_tiny = {{ enable_tiny }}
4
let enable_zustre = {{ enable_zustre }}
5
let enable_seal = {{ enable_seal }}
(14-14/49)