.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2020-06-29 10:43:34 +0200
commit: 3c0fc5c323f9497190e2950f390090ec577ad67f (patch)
tree: f3d7c0ce758848b9e25d54b3c2b8e543c5cba831
parent: 9aa224636a710cf244da7cb590baf7199d368fab (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-06-29 10:43:34 +0200
commit	3c0fc5c323f9497190e2950f390090ec577ad67f (patch)
tree	f3d7c0ce758848b9e25d54b3c2b8e543c5cba831
parent	9aa224636a710cf244da7cb590baf7199d368fab (diff)