.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2019-01-31 09:59:56 +0100
commit: 1398f4fe7e45d64e5bea9a85f28b6dd10fc31bf9 (patch)
tree: abc89240a91424ec0c739e624dd06ee0e13ffd14
parent: b54ed951e458a28a82fd8bb0eed4d51f5f339f9c (diff)
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 3aaa371..281e864 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>	2019-01-31 09:59:56 +0100
commit	1398f4fe7e45d64e5bea9a85f28b6dd10fc31bf9 (patch)
tree	abc89240a91424ec0c739e624dd06ee0e13ffd14
parent	b54ed951e458a28a82fd8bb0eed4d51f5f339f9c (diff)