diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2021-01-31 00:47:05 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2021-01-31 01:06:30 +0100 |
| commit | bcde67cec78708eaa3ef9726fe0f54546bbe1fcd (patch) | |
| tree | 999e2d596af61390bc9c360e0cffd3078adc5a5a /dev-ada/libadalang-tools | |
| parent | dev-ada/gnatcoll-db: Remove last-rited pkg (diff) | |
| download | gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.tar.gz gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.tar.bz2 gentoo-bcde67cec78708eaa3ef9726fe0f54546bbe1fcd.zip | |
dev-ada/gps: Remove last-rited pkg
Closes: https://bugs.gentoo.org/708186
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ada/libadalang-tools')
0 files changed, 0 insertions, 0 deletions