diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-12 12:21:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-12 12:21:54 -0400 |
| commit | 19b9eee2a968e9fe577792a48d0b4cf931165874 (patch) | |
| tree | 62139cb8c7c3aa9f402a76b19a206cef58cad0d1 /.hgignore | |
| parent | eb45f499c2e18f154ad59d75cf29c3903af5c725 (diff) | |
Basis and Top syntax-highlight, indent, parse, and type-check
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions