diff options
| author | Johannes Hofmann <hofmann@flpsed.org> | 2020-11-11 20:26:38 +0100 |
|---|---|---|
| committer | Johannes Hofmann <hofmann@flpsed.org> | 2020-11-11 20:26:38 +0100 |
| commit | 4f9182499e14290aa1eabbb5a2d903bfeb8e25d7 (patch) | |
| tree | 8b2b36f9cb3d96997bd614e1bde458c5346366ef /.gitignore | |
| parent | 9b035a109addb6ae0104d5e9a689917dd7dfbd39 (diff) | |
remove tools directory
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions