.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2021-02-13 14:15:06 +0100
commit: 77a52069eba7319104f148db98ffd383df989289 (patch)
tree: 16990ccd389bf829d201c4051219caf9bbebfa53
parent: b96a2462c6f262fae8ef623e7b18c7d16508c10f (diff)
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 6c8f74f..6467e28 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,5 @@
 *~
-devtools-*.tar.gz*
+devtools32-*.tar.gz*
 archbuild
 archco
 archrelease
author	Erich Eckner <git@eckner.net>	2018-06-06 13:30:04 +0200
committer	Erich Eckner <git@eckner.net>	2021-02-13 14:15:06 +0100
commit	77a52069eba7319104f148db98ffd383df989289 (patch)
tree	16990ccd389bf829d201c4051219caf9bbebfa53
parent	b96a2462c6f262fae8ef623e7b18c7d16508c10f (diff)