diff options
| author | Guest0x0 <guest0x0@outlook.com> | 2020-04-23 21:07:37 +0800 |
|---|---|---|
| committer | Guest0x0 <guest0x0@outlook.com> | 2020-04-23 21:07:37 +0800 |
| commit | 69e45dce3809d78f3fb3744fbc8af452b45932e0 (patch) | |
| tree | ca652adb3397ca1b29b52dc73d2f68ceb363d792 /src/input_handler.cc | |
| parent | f7ad8bd70e8a28712ef16ae8bfbe5fbe89ad701a (diff) | |
basic syntax highlighting & indentation for the Coq language
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions