diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:30:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-27 21:37:13 +0100 |
| commit | ddf40a8d2c68ed0eba6fccd9cf79eb138306817b (patch) | |
| tree | a11c5ed09cb3b14d3424cf39109e8090f7118a67 /doc | |
| parent | f725262bc3ad98df35fb835b4f8a0d6965504283 (diff) | |
| download | devtools-ddf40a8d2c68ed0eba6fccd9cf79eb138306817b.tar.xz | |
.gitignore: devtools -> devtools32
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions