summaryrefslogtreecommitdiff
path: root/scripts/write-lockfile.lua
diff options
context:
space:
mode:
authorStephan Seitz <stephan.seitz@fau.de>2021-05-11 23:20:40 +0200
committerThomas Vigouroux <tomvig38@gmail.com>2021-05-17 20:36:33 +0200
commitbb2846fd9b3987eb3f0dc6268c9b1f6b8c6f481d (patch)
treef54db476102b5fd06f33b607fd7196d930908729 /scripts/write-lockfile.lua
parent68bf36c917d44b1fe4469bfdaaecbd3dc8cb0ddc (diff)
highlights(latex): add more commands
Diffstat (limited to 'scripts/write-lockfile.lua')
0 files changed, 0 insertions, 0 deletions