diff options
| author | Kathy Gray | 2015-01-23 16:01:41 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-23 16:01:41 +0000 |
| commit | 7b0797336983a442f2d6b792fb12e8dff3f2a2d2 (patch) | |
| tree | a848693cbc39900979ce1a3360f1c208b5b0c326 /src/initial_check.ml | |
| parent | 4644535149e8e4063b8162e59eae4eb7e8b9ea94 (diff) | |
remove dependency on having ott in ones path
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions