.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2020-04-08 08:45:46 +0200
commit: 1d1edb46349c481275525ece3f059e16d08c7fb1 (patch)
tree: 278f3e427a621f1a2cf0bd651b07723bce86bcbf
parent: cfdc8066c42b327d0916481809c5224b89fb48a5 (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-04-08 08:45:46 +0200
commit	1d1edb46349c481275525ece3f059e16d08c7fb1 (patch)
tree	278f3e427a621f1a2cf0bd651b07723bce86bcbf
parent	cfdc8066c42b327d0916481809c5224b89fb48a5 (diff)