diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-10-04 09:20:16 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-10-04 10:55:59 +0200 |
commit | ee184fad0a4602a2ab096f8303a672232cd4ca6e (patch) | |
tree | 2bdb678271bf18976fe292ab7f1187ba00eedf67 /dev-ros/control_toolbox | |
parent | dev-dotnet/xdt-for-monodevelop: Strip empty metadata.xml elements (diff) | |
download | gentoo-ee184fad0a4602a2ab096f8303a672232cd4ca6e.tar.gz gentoo-ee184fad0a4602a2ab096f8303a672232cd4ca6e.tar.bz2 gentoo-ee184fad0a4602a2ab096f8303a672232cd4ca6e.zip |
dev-embedded/libdisasm: Strip empty metadata.xml elements
Diffstat (limited to 'dev-ros/control_toolbox')
0 files changed, 0 insertions, 0 deletions