diff options
author | Tom Smeding <tom@tomsmeding.com> | 2025-03-23 11:59:17 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-23 11:59:17 +0100 |
commit | fa1906183e91a3f0fadd27a29375b860ac40e53c (patch) | |
tree | 6c18b3c064e2e2d5c6d8dd549d59303f434bc997 /rules/rules.tex | |
parent | b87518c60f3034411bffc0c4745141db6a8d81d3 (diff) |
Compile: More checks
Diffstat (limited to 'rules/rules.tex')
0 files changed, 0 insertions, 0 deletions