diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
commit | aff6697e7c2ad645ad54d29da12d65aded5e038a (patch) | |
tree | f465daf078aebbc18684357d01694e2120d2424a /generic/pg-autotest.el | |
parent | 6590f705000ec0a6e0260552b48300c65aa83153 (diff) | |
parent | ac4f528a7797ffa2fcc0b46014ec15232bd8807e (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'generic/pg-autotest.el')
0 files changed, 0 insertions, 0 deletions