diff options
| author | Pierre Courtieu | 2016-03-09 19:00:54 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2016-03-09 19:00:54 +0100 |
| commit | 17d64c58588779979f1951b6f727e5deb671075c (patch) | |
| tree | 46826f317788f5341299ee7b71b2c06063c436b3 /pgshell | |
| parent | e2c5da005b1b29e1da3c1b2bf1c6de45d3d78b1a (diff) | |
Fix #47.
There are many other issued with coq-smie-forward-token.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions