diff options
author | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:43:02 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2020-05-28 18:43:02 -0400 |
commit | 84aed252dd24fc62cfec4b877edd5c8e90e43035 (patch) | |
tree | 11bfdb7a69b0ae7f8a738ff09db9650685090dd9 /.gitignore | |
parent | d1fcf6fb400ef1dab7d988354b4ca48614e93420 (diff) | |
parent | d6ed0246fef2253ad8f4c4e98fcf27c016bdbd37 (diff) |
Merge branch 'configure'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -8,3 +8,4 @@ outputs/* imgs/made gen/tables.tex graph +Makefile |