diff options
author | Erich Eckner <git@eckner.net> | 2018-06-06 13:30:04 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-02-13 14:06:13 +0100 |
commit | ebef03686675a7a3fca2206ddc4a663c9f624b55 (patch) | |
tree | a870cf5f04ccc4954ed38bcbbd86a0027b870199 | |
parent | 97e564c056459bb5edfea50fc2d6efdb16336d8b (diff) | |
download | devtools32-ebef03686675a7a3fca2206ddc4a663c9f624b55.tar.xz |
.gitignore: devtools -> devtools32
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ *~ -devtools-*.tar.gz* +devtools32-*.tar.gz* archbuild archco archrelease |