diff options
| author | Clément Pit-Claudel | 2019-04-18 19:20:35 +0000 |
|---|---|---|
| committer | GitHub | 2019-04-18 19:20:35 +0000 |
| commit | 612eac576472f405fc64af98d1f1c5a13cd5fb0a (patch) | |
| tree | cddb7f72e9f97a794a7b0ddcacea4ba07eef41a7 /pgshell/pgshell.el | |
| parent | 8f90ac961c22099a615c03ed07576aaef820e06d (diff) | |
| parent | 99e47d394539da4cb5a7b4c628831ed1e41adcd1 (diff) | |
Merge pull request #419 from bbarenblat/master
Derive proof-mode from prog-mode
Diffstat (limited to 'pgshell/pgshell.el')
0 files changed, 0 insertions, 0 deletions