author | Michael Wagner <michael@wagnertech.de> | |
Wed, 25 Jan 2017 17:02:03 +0000 (18:02 +0100) | ||
committer | Michael Wagner <michael@wagnertech.de> | |
Wed, 25 Jan 2017 17:02:03 +0000 (18:02 +0100) | ||
commit | ede7ea996ee0d38c82d41652bf2fb2a264aaf934 | |
tree | a445c90824f3d93ef41365e747b81deeaba19560 | tree | snapshot |
parent | 10dcb8bac8d80fdd74a9ede5af533ed8b136716e | commit | diff |
tools/make/configure | [new file with mode: 0755] | blob |