diff options
| author | Pierre-Marie Pédrot | 2018-11-06 12:18:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-06 12:25:52 +0100 |
| commit | 909c215de105cc5965398656348d5486d57c1b87 (patch) | |
| tree | 5d831c27de277882569d59d79bd271384489052e /dev/tools | |
| parent | b9467f8918ef272a72b7280b5f372070aacef39c (diff) | |
Removing dead code in Plexing.
It was full with utility functions and wrappers that are unused in the Coq
codebase.
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions