diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-02-19 13:12:29 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-02-19 13:12:29 +0100 |
| commit | 06746919eadeeb430bfb464d83847f982ea78540 (patch) | |
| tree | 9f2a1ce177e59497e3e9b38ce5cb7fe0a66cabbc /checker/term.mli | |
| parent | 8faffcb73f356ac4a3c41ae3356be5fe26244b58 (diff) | |
Upstream version can contain dashes
Diffstat (limited to 'checker/term.mli')
0 files changed, 0 insertions, 0 deletions