diff options
| author | Robert Günzler <r@gnzler.io> | 2022-07-18 17:23:37 +0300 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2022-08-02 22:15:23 +0200 |
| commit | f9691d520d9b627c34e42151a61e42ca161883ae (patch) | |
| tree | 4abd26adb4e0a9613a31bd34e46efc1467759ab0 /.config/bat | |
| parent | 460a4f1019d8086286d866b5388dc03503931d15 (diff) | |
bin/latexmk: refactor getopts, add quiet mode
Diffstat (limited to '.config/bat')
0 files changed, 0 insertions, 0 deletions