diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-08-29 14:30:49 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-08-29 14:30:49 +0200 |
| commit | eabee174af9393350c09965d6b383744710154ed (patch) | |
| tree | 100606ec559a449982a35970fbd371c608322027 /rules/.gitignore | |
| parent | a8971921e395f03bba55d2e022d43e57c0723476 (diff) | |
Type up some of the rules in LaTeX
Diffstat (limited to 'rules/.gitignore')
| -rw-r--r-- | rules/.gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/rules/.gitignore b/rules/.gitignore new file mode 100644 index 0000000..ef5f7e5 --- /dev/null +++ b/rules/.gitignore @@ -0,0 +1,4 @@ +*.aux +*.log +*.out +*.pdf |