diff options
| author | Prefetch | 2021-04-08 16:49:46 +0200 |
|---|---|---|
| committer | Prefetch | 2021-04-08 16:49:46 +0200 |
| commit | 966048bd3594eac4d3398992c8ad3143e290303b (patch) | |
| tree | e24f5aac65abfff9f80200ceb34f00676a82913d /.gitignore | |
| parent | 8044008e45f87b95d7a8c9f0fce1847ceedfb09a (diff) | |
Expand knowledge base, add /sources/
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1 +1,4 @@ /public/* +/sources/**/*.aux +/sources/**/*.log +/sources/**/*.pdf |