A tool to quick remove \hl
tags in
pip install -e .
$ hlpp -h
usage: highlight handle tools [-h] [--file FILE]
optional arguments:
-h, --help show this help message and exit
--file FILE The file need to handle.
A tool to quick remove `\hl` tags.
A tool to quick remove \hl
tags in
pip install -e .
$ hlpp -h
usage: highlight handle tools [-h] [--file FILE]
optional arguments:
-h, --help show this help message and exit
--file FILE The file need to handle.
A tool to quick remove `\hl` tags.