.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2020-05-18 08:45:01 +0200
commit: bc25ed3830e43188a606ed7fcdb34bc45923e066 (patch)
tree: 2856d1af85ea02e038c18937490fdc7bebd1c751
parent: ffd45f0f7c9d6ddbe0b70388c55189663050859c (diff)
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 94f9684..6b7a40b 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>	2020-05-18 08:45:01 +0200
commit	bc25ed3830e43188a606ed7fcdb34bc45923e066 (patch)
tree	2856d1af85ea02e038c18937490fdc7bebd1c751
parent	ffd45f0f7c9d6ddbe0b70388c55189663050859c (diff)