log dev/gcc/gcc.sh @ 147:605b4a7b264a

age author description
Mon, 11 Mar 2019 20:36:00 +0100 David Demelier vanilla: general cleanup
Mon, 11 Mar 2019 15:44:15 +0100 David Demelier dev: merge .sh and .info
Thu, 07 Mar 2019 13:44:45 +0100 David Demelier dev/gcc: initial import, closes #1075