]>
| 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 |