diff options
| author | Pierre Courtieu | 2006-09-15 07:41:51 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-15 07:41:51 +0000 |
| commit | fe9c3183678fb385a5cf65a5afda7a06ec64ea98 (patch) | |
| tree | 01ea9f6fc5c0346a2d136ce0aa3b8ff649e1482e /pgshell | |
| parent | 363af367c6fa05a63b2c00f0be32eadc2ed80c69 (diff) | |
typo in coq-indent.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions