author | gnublin <michael@wagnertech.de> | |
Tue, 7 Jun 2016 13:20:54 +0000 (15:20 +0200) | ||
committer | gnublin <michael@wagnertech.de> | |
Tue, 7 Jun 2016 13:20:54 +0000 (15:20 +0200) | ||
commit | c8af998eae0c5d2dab14d5e36cccb9d9b6f60d0c | |
tree | 1820b4dd2fddce87a5c7d4cc01387c7c9da76f41 | tree | snapshot |
parent | 352bc51510edff4ff4074f6ea246cb661a075454 | commit | diff |
tools/make/c_configure.sh | diff | blob | history | |
tools/make/configure | diff | blob | history |