author | Michael Wagner <michael@wagnertech.de> | |
Wed, 18 Apr 2018 16:24:08 +0000 (18:24 +0200) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Wed, 18 Apr 2018 16:24:08 +0000 (18:24 +0200) | ||
commit | 157ddbef87834c1b04a4bcff682942268ff642f6 | |
tree | 8209c1d5d0fdd5842e0d3c9370b017868a134ac3 | tree | snapshot |
parent | 152748262107973df2ea6d018324a75289a5d367 | commit | diff |
tools/make/mconfigure | diff | blob | history |