diff options
| author | Michael Davis | 2022-06-29 01:59:03 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-07-01 09:04:23 +0000 |
| commit | bf1aa8876c5e9e7ccf6ab4ae66997c45ac3c4b95 (patch) | |
| tree | d6d32caa24c49cef78ca6ea65c56cb3b089d3c80 /runtime/queries/ocaml-interface | |
| parent | a890c4a64dee8521bc80adfe77c56e703a7e4512 (diff) | |
git-commit: fix highlight edge cases
* branch message with current branch and diverged branch has been
added to the parser
* scissors used in verbose commits are marked as a punctuation
delimiter
* we could use comment instead since they're visually the
same but IMO this works better
Diffstat (limited to 'runtime/queries/ocaml-interface')
0 files changed, 0 insertions, 0 deletions