diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-15 13:17:45 +0200 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-07-15 13:23:23 +0200 |
commit | 7e60dbce04177fa01583ce81d79d47eeed306ae4 (patch) | |
tree | 3ba9ee36d9626696b0ded327096a8ca573aa3729 /tools/coqdoc/tokens.mli | |
parent | b9b5b95702dc8b9fab44bbfdfc70d3127d890e24 (diff) |
more overrides
Diffstat (limited to 'tools/coqdoc/tokens.mli')
0 files changed, 0 insertions, 0 deletions