diff options
| author | Clément Pit-Claudel | 2020-02-06 14:48:35 +0000 |
|---|---|---|
| committer | GitHub | 2020-02-06 14:48:35 +0000 |
| commit | 2a17093f6a7b168fedabc623602edec35aef8d8a (patch) | |
| tree | 8d86eeebfe96e3eb0c59f6eb6c0a26d636ee759d /pgshell | |
| parent | 89829c25b95e59590fcdca0ae0730607d703925b (diff) | |
| parent | 39bf1b6836d3449764cd05547bc41b6e1a88d16d (diff) | |
Merge pull request #455 from ProofGeneral/cpitclaudel_extend_faces
faces: Extend highlights to EOL to adjust for latest Emacs changes
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions