diff options
| author | Erik Martin-Dorel | 2020-12-06 15:00:10 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-06 15:00:10 +0100 |
| commit | ccb37e8026e208825c10f4d5ce64378430e5f7a3 (patch) | |
| tree | 4b7632d76ae0682758673e90a28a7ca052c505a1 /pgshell/example.pgsh | |
| parent | 702f5b90ce36e17493fbd5390db7c35097ae8149 (diff) | |
| parent | fafe6bdea4188db78857058b571282948314b2de (diff) | |
Merge pull request #530 from ProofGeneral/fix-ci
Workaround & Document debbug 34341 (fixed in Emacs 26.3, 27.1)
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions