diff options
author | Aaron Bauman <bman@gentoo.org> | 2019-11-12 21:47:21 -0500 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2019-11-12 21:47:41 -0500 |
commit | b178240a71fbd767b13aa372e19f427000f8f3a7 (patch) | |
tree | edd2555130dc003b52eba75ddcc51aef6ab8a845 /licenses/AvP | |
parent | dev-util/kdevelop: Drop 5.4.3 (diff) | |
download | gentoo-b178240a71fbd767b13aa372e19f427000f8f3a7.tar.gz gentoo-b178240a71fbd767b13aa372e19f427000f8f3a7.tar.bz2 gentoo-b178240a71fbd767b13aa372e19f427000f8f3a7.zip |
Revert "dev-libs/mps: drop old"
This reverts commit 2afcd3d55f5b743e182c789d6f12cc178f231c34.
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'licenses/AvP')
0 files changed, 0 insertions, 0 deletions