diff options
| author |   George Shapovalov <george@gentoo.org> | 2008-04-14 14:54:21 +0000 |
|---|---|---|
| committer | George Shapovalov <george@gentoo.org> | 2008-04-14 14:54:21 +0000 |
| commit | a65fec3b5a75b9fe6c1b8ee230b3907110510633 (patch) | |
| tree | 3b9bfc117ac9f6e16ac84f9a5bb01c4e384de108 /dev-scheme | |
| parent | split profile validity check off the get_active_gnat and made the update acti... (diff) | |
| download | gentoo-2-a65fec3b5a75b9fe6c1b8ee230b3907110510633.tar.gz gentoo-2-a65fec3b5a75b9fe6c1b8ee230b3907110510633.tar.bz2 gentoo-2-a65fec3b5a75b9fe6c1b8ee230b3907110510633.zip | |
changed pkg_postrm to automatically deactivate unmerged gnat profile
Diffstat (limited to 'dev-scheme')
0 files changed, 0 insertions, 0 deletions