diff options
| author | Maxime Dénès | 2015-01-15 13:45:25 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-01-15 13:45:25 +0100 |
| commit | 6eab6444ddf9d7de820602ceff8b285e28619cce (patch) | |
| tree | 9504b5abcd99f89416a7f89d9a90cd9346279def /kernel/type_errors.mli | |
| parent | 17b127167f82d5c8ebf998f0c6d946870c1322aa (diff) | |
Revert "Bump version and magic numbers in configure."
This reverts commit 5f49780b395686cdfce7126438c6dd69712d5c70.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions