diff options
author | Wolfgang Schupp <w.schupp@a1.net> | 2018-01-01 18:49:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-01 18:49:24 +0100 |
commit | d9e45fdafa608c9ba55b57781b08373df416bc4c (patch) | |
tree | 67d485eb39fe1d7c1667584e42f6d331f4b23b63 /tools | |
parent | dc587bd7ad07498a1668cfbc12eeaba80a309fa0 (diff) | |
parent | e21b4eda03fb0fb5ec172f9feb438b29fba8d15b (diff) |
Merge pull request #13265 from wsnipex/fix-uninstall
cmake: Fix uninstall target
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions