diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-07-13 18:34:56 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-07-13 18:34:56 +0200 |
commit | a67605c7af04014a9773d0351f55c9a08015de89 (patch) | |
tree | ed4f0a89b8b3c88bc8707510aff19fe60ca71ec1 /plugins/ltac/g_ltac.ml4 | |
parent | bd0a681350b1bc8947d6d7603dc6a9759f0c7897 (diff) |
Remove useless libobject in proof_using
Diffstat (limited to 'plugins/ltac/g_ltac.ml4')
0 files changed, 0 insertions, 0 deletions