diff options
| author | Moritz Lenz <moritz@faui2k3.org> | 2015-07-25 19:18:44 +0000 |
|---|---|---|
| committer | Moritz Lenz <moritz@faui2k3.org> | 2015-07-25 19:18:44 +0000 |
| commit | a383d29320c53720cfa319a2169ec42f42d50333 (patch) | |
| tree | 1bfaa7fd5fc8e677b09e492d6d0ddc8f8da181d5 /tools | |
| parent | 098e45e6624d81fed190d0e7bba99529fad1f01c (diff) | |
Remove deleted subodules more thoroughly
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions