diff options
| author | Pierre Courtieu | 2015-10-13 15:51:33 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2015-10-13 15:51:33 +0200 |
| commit | dbcdba63a79bfcafbc8873b787f18aa049198eaf (patch) | |
| tree | 3d85bc54aef3610c97cf87bd1c1ddc6c2a2cdd4d /pgshell | |
| parent | efb54b9098d665fd58e99c42f53afd7e49a36c70 (diff) | |
Fixed coq-id-at-point.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions