diff options
| author | Evan Lloyd New-Schmidt <evan@new-schmidt.com> | 2021-10-04 13:11:55 -0400 |
|---|---|---|
| committer | Evan Lloyd New-Schmidt <evan@new-schmidt.com> | 2021-10-04 13:19:00 -0400 |
| commit | 6b6577d8b9779a4166e97358f6af6ad90e44de11 (patch) | |
| tree | bc960d29b6d3f9355725fb2061b3092ceff61bde /src/input_handler.cc | |
| parent | d6388f3895942d72e40dc7d878ecff12f47b1695 (diff) | |
Disable comment_line for ocaml/coq
OCaml does not have line comments, and as far as I can tell neither
does Coq. Setting it to '' (like markdown and html do) throws an error
that can be handled or displayed instead of inserting the default '#'.
Diffstat (limited to 'src/input_handler.cc')
0 files changed, 0 insertions, 0 deletions