dev-ada/gps: Remove old (LLVM 7)
authorMichał Górny <mgorny@gentoo.org>
Fri, 1 May 2020 08:33:42 +0000 (10:33 +0200)
committerMichał Górny <mgorny@gentoo.org>
Fri, 1 May 2020 08:53:32 +0000 (10:53 +0200)
commit975a01a2c0e74b0819120a28396c24279142fa52
tree1676520ce5675bee9afe8521b2615af5b31d81a1
parent4d674a8b832daf0713220410d55155ef9372fe1a
dev-ada/gps: Remove old (LLVM 7)

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-ada/gps/Manifest
dev-ada/gps/files/gps-2018-gentoo.patch [deleted file]
dev-ada/gps/gps-2018-r3.ebuild [deleted file]