On December 15, 2016 12:19:05 AM PST, "Michał Górny" <mgo...@gentoo.org> wrote: >Would it be fine with you if we kept gnat-gcc and ghdl? (but lastrited >dev-ada/*)
I personally have no use for the others. -- Christopher Head
On December 15, 2016 12:19:05 AM PST, "Michał Górny" <mgo...@gentoo.org> wrote: >Would it be fine with you if we kept gnat-gcc and ghdl? (but lastrited >dev-ada/*)
I personally have no use for the others. -- Christopher Head