diff options
| author | Pierre Courtieu | 2010-04-12 12:25:21 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2010-04-12 12:25:21 +0000 |
| commit | cbdd9b5f5a42a16f0b8dc5c26d4f8fdd6925f5df (patch) | |
| tree | 2d27457adf1c60d9800bcb10076208bcee71be85 /pgshell | |
| parent | cfdca88d6bfa41d0d51320f2d8de6e6483c3feb8 (diff) | |
Fix coq error utf8 underlining with coq-8.3beta.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions