.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2019-04-01 10:20:17 +0200
commit: 5e1bf4243c7b02b5ccd8f68ea2aa5bc59c198f20 (patch)
tree: 312601fc3361c5a3f06a1ed98af3f542c63957f6
parent: 9c02f3d909ee9adb28f755a1abb535b6ed227ae2 (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-04-01 10:20:17 +0200
commit	5e1bf4243c7b02b5ccd8f68ea2aa5bc59c198f20 (patch)
tree	312601fc3361c5a3f06a1ed98af3f542c63957f6
parent	9c02f3d909ee9adb28f755a1abb535b6ed227ae2 (diff)