diff options
| author | hendriktews | 2020-12-07 22:31:25 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-07 22:31:25 +0100 |
| commit | ad5105b58374f9ed5f83d5272688f5475bc0293b (patch) | |
| tree | 376693a89bc9dad20f31712ef0d1b1f3293efaf0 /pgshell | |
| parent | ccb37e8026e208825c10f4d5ce64378430e5f7a3 (diff) | |
| parent | abfcd41041f5ba00d9d8f007808d67a312fbe8c4 (diff) | |
Merge pull request #526 from hendriktews/version-break-525
fix coq-callcoq for emacs 27
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions