.gitignore: devtools -> devtools32

author: Erich Eckner <git@eckner.net> 2018-06-06 13:30:04 +0200
committer: Erich Eckner <git@eckner.net> 2019-04-02 11:16:20 +0200
commit: 5265695fb57be9383213b95d78eb9f099011f8f9 (patch)
tree: c6349a94d3e287cd23a9e1f8ac9de61359483bbe
parent: 08c0961b4f1cb594ced54da0ca6595391ec899cf (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-02 11:16:20 +0200
commit	5265695fb57be9383213b95d78eb9f099011f8f9 (patch)
tree	c6349a94d3e287cd23a9e1f8ac9de61359483bbe
parent	08c0961b4f1cb594ced54da0ca6595391ec899cf (diff)