diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-02-28 08:30:29 +0100 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-02-28 08:33:34 +0100 |
commit | 260ff1374de71de507ffa435b8e0950aa3cb28a8 (patch) | |
tree | 2ff5b09b6a6941d158efeff727ae1004e3c33550 /docs | |
parent | 14915a0c32069ac5b318dd4a67017e27135fba91 (diff) |
markup/highlight: Ignore HL_lines_parsed in the gen docs
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions