diff options
| author | David Aspinall | 2010-08-24 11:47:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-24 11:47:12 +0000 |
| commit | 40490e74566f4fb5e8a5c1dda54ace70aa959c71 (patch) | |
| tree | 5655bc9648f1f9f29a5f2ea43640e714fc4eedfe /pgshell | |
| parent | 0373788695340b562d11462baa882baa3612eac9 (diff) | |
coq-comment-at-point: avoid error if command start not found
(see Trac #342)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions