diff options
| author | Pierre Courtieu | 2018-08-18 19:33:23 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-08-18 19:33:23 +0200 |
| commit | 5f73b85cfcbb7cf0f39d212ce1d5a540e5b8ba22 (patch) | |
| tree | a19ca0998160164a0af06c00cae1b0de13aaa030 /lib/pg-dev.el | |
| parent | 37fa6de5424f62266593258d33cebad96d9d6d86 (diff) | |
| parent | b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions