diff options
| author | Hendrik Tews | 2016-10-26 09:58:52 +0200 |
|---|---|---|
| committer | Hendrik Tews | 2016-10-27 09:26:40 +0200 |
| commit | cda28bfda3154c9040ec11abea1021755992e36a (patch) | |
| tree | 1302882de7efdf6c004082e21122d2652439d10e /doc/ProofGeneral.texi | |
| parent | 24858fa6989ae8b41e0c31fca5499cceeb4f21e8 (diff) | |
delete TAGS file from repository
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions