diff options
| author | David Aspinall | 2011-06-22 10:29:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-06-22 10:29:40 +0000 |
| commit | cddb8e97c3aa27c2bdedcf1b510e6cb715570fee (patch) | |
| tree | 59f12e2cd94bf206857b242995e0069fd83c1c21 /pgshell | |
| parent | 9561bdabd3d80cbc71540ae2a1ea1aa74430ad95 (diff) | |
coq-use-smie not enabled by default
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions