gnublin1
authorgnublin <michael@wagnertech.de>
Sat, 12 Mar 2016 21:46:23 +0000 (22:46 +0100)
committergnublin <michael@wagnertech.de>
Sat, 12 Mar 2016 21:46:23 +0000 (22:46 +0100)
commit8aa3f75cc1f16a25491abc5cd8a4ed554ad26f0d
tree2853d206fbf84c801388802084b09299bc53525d
parentc9b0630e680308a6389cdf758bb677d811a2d05b
gnublin1
tools/make/c_configure.sh [new file with mode: 0755]
tools/make/configure
tools/make/cpp.make [new file with mode: 0644]
tools/make/makefile