Remove zipped resource archive in repo (#74)

* res: Remove zipped archive This was probably added by accident. * gitignore: Ignore archive files Archives don't belong in the repo, so make sure they don't get accidentally added again.
2022-05-23 18:55:27 +02:00
parent de3b53c676
commit da27c67e6b
2 changed files with 6 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -356,3 +356,9 @@ build/
 out/

 fonts/fonts.conf
+
+# To make sure no zipped resources are added to the repo
+*.7z
+*.zip
+*.tar.*
+*.rar
--- a/res/res.7z
+++ b/res/res.7z