diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2015-04-20 12:44:25 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2015-04-20 12:44:52 +0200 |
| commit | 94afd8996251c30d2188a75934487009538e1303 (patch) | |
| tree | 52d41d0913eb4652d6ce862d6d2591bdd5802e35 /tools/coqdep_common.ml | |
| parent | b846c413c2e79520a5238c5a0775f5cd73d61bac (diff) | |
Change magic numbers.
Diffstat (limited to 'tools/coqdep_common.ml')
0 files changed, 0 insertions, 0 deletions