diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-02 14:58:00 +0100 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-06 13:41:24 +0100 |
commit | 5d926b0279f70250db1ee54edcdb4e855ac96f0f (patch) | |
tree | 06dc436ba2d41764b5bbe48c311bdaeaf5c1514c /checker/checker.ml | |
parent | 67a28c487fc64e2c0f8271b77d0c9db0cd82fa92 (diff) |
Deprecate UState aliases in Evd.
Diffstat (limited to 'checker/checker.ml')
0 files changed, 0 insertions, 0 deletions