diff options
| author | Gabriel Kerneis | 2014-02-05 15:28:48 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-05 15:28:48 +0000 |
| commit | 6299c80a60d302916e0a95afec22e16ed2983551 (patch) | |
| tree | 0acb0e56fc6171db5cd9c3a7e0e6e9dc1a9f15e3 /src/initial_check.ml | |
| parent | 4cd9307685744430c192d897f7c02bed9bd43de3 (diff) | |
Deinfixable colon
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions