diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-05 13:21:49 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-05 13:22:08 +0100 |
| commit | 30907fc2d1436cf5a97cf17f2d120a87c89f3505 (patch) | |
| tree | 80bf4f42a1d6e46504af1e33f57cc45abd877f08 /community | |
| parent | 018d6b6c99222ef5a4bae2501cf312397b66b5d0 (diff) | |
| download | packages-30907fc2d1436cf5a97cf17f2d120a87c89f3505.tar.xz | |
extra/devtools: replace by our devtools32
Diffstat (limited to 'community')
0 files changed, 0 insertions, 0 deletions