.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2019-08-18 20:19:42 +0200
commit: 8aab0bd67ef5440604bdbd4fbc401fb9232f7265 (patch)
tree: 41e2ff9ed6474070778665ee7754ae9338e1497b
parent: e4faf834251e9ba77c3953ddac064ce9f7987b44 (diff)
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 366a99f..c958ece 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-08-18 20:19:42 +0200
commit	8aab0bd67ef5440604bdbd4fbc401fb9232f7265 (patch)
tree	41e2ff9ed6474070778665ee7754ae9338e1497b
parent	e4faf834251e9ba77c3953ddac064ce9f7987b44 (diff)