diff options
author | Preston Pan <135050157+ret2pop@users.noreply.github.com> | 2024-05-02 20:47:58 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-02 20:47:58 -0700 |
commit | 104437bf7533798087e77b07756cd6b5dcc45bcd (patch) | |
tree | d60076e1beee31c81e1f8a604f46b4fa0270d83b /.gitignore | |
parent | 4738c0ffe90fc5e46a2a31b061b76d49317b6b1e (diff) | |
parent | 3f6e346cfb9cce3e24c27c400e345eccc34697d9 (diff) |
A few fixes and improvements
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -9,3 +9,4 @@ tmp/ /latex/** stem compile_commands.json +compile_flags.txt |