gnublin
authorgnublin <michael@wagnertech.de>
Tue, 7 Jun 2016 13:20:54 +0000 (15:20 +0200)
committergnublin <michael@wagnertech.de>
Tue, 7 Jun 2016 13:20:54 +0000 (15:20 +0200)
commitc8af998eae0c5d2dab14d5e36cccb9d9b6f60d0c
tree1820b4dd2fddce87a5c7d4cc01387c7c9da76f41
parent352bc51510edff4ff4074f6ea246cb661a075454
gnublin
tools/make/c_configure.sh
tools/make/configure