author | Michael Wagner <michael@wagnertech.de> | |
Thu, 11 Apr 2019 19:45:44 +0000 (21:45 +0200) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Thu, 11 Apr 2019 19:45:44 +0000 (21:45 +0200) | ||
commit | a5167266107ee7a73a48b3758708dc4e0ae274b9 | |
tree | 87c284cc0317baaea44f713ffa4183bdced9097d | tree | snapshot |
parent | 558c916ff7bac9fb72b554543da7b247f9ac8aef | commit | diff |
tools/make/mconfigure | diff | blob | history |