diff options
author | 2020-07-06 19:23:30 +0200 | |
---|---|---|
committer | 2020-07-06 19:40:28 +0100 | |
commit | 75b8162fe5349d5ef73954b9332c0889ca894360 (patch) | |
tree | 3bd1984f0765c021303c67f4341ec58109bcb372 /ros-meta/slam_gmapping | |
parent | sys-libs/libunwind: remove unused patches (diff) | |
download | gentoo-75b8162fe5349d5ef73954b9332c0889ca894360.tar.gz gentoo-75b8162fe5349d5ef73954b9332c0889ca894360.tar.bz2 gentoo-75b8162fe5349d5ef73954b9332c0889ca894360.zip |
dev-libs/isl: remove unused patch
Package-Manager: Portage-2.3.103, Repoman-2.3.23
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/16613
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'ros-meta/slam_gmapping')
0 files changed, 0 insertions, 0 deletions