diff options
| author | Silvio Traversaro <silvio.traversaro@iit.it> | 2020-05-21 20:25:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-21 11:25:51 -0700 |
| commit | bb7ab2c92e5fb67efb43c878d6cf248bd4b6c4fd (patch) | |
| tree | 8cdbf870b607cc0928ff36a82145580a8c0b876c /scripts | |
| parent | 3dd53aae33bc1f5ed6e6dc896707075b17ec59e1 (diff) | |
| download | vcpkg-bb7ab2c92e5fb67efb43c878d6cf248bd4b6c4fd.tar.gz vcpkg-bb7ab2c92e5fb67efb43c878d6cf248bd4b6c4fd.zip | |
[octomap] Cleanup (#11408)
* Add homepage
* Remove deprecated inclusions
* Switch to use new function vcpkg_copy_tools
Co-authored-by: wangli28 <wangli28@beyondsoft.com>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions