diff options
| author | Pierre Courtieu | 2011-11-11 00:07:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2011-11-11 00:07:23 +0000 |
| commit | 772f6217a26af0430cd19c220a670b46b23d2270 (patch) | |
| tree | 470841d87a6c1392be0b4c36ec675e744fb9bd4f /pgshell | |
| parent | 14a99ba7764b951e4ed82f2421a67d8ec888e8d5 (diff) | |
Fixed coq smie indentation.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions