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