diff options
| author | jnthn <jnthn@jnthn.net> | 2014-03-17 18:11:13 +0100 |
|---|---|---|
| committer | jnthn <jnthn@jnthn.net> | 2014-03-17 18:11:13 +0100 |
| commit | ab2d701649ef37f8ecc3477ab5be08df498f366f (patch) | |
| tree | 965f0aed5a47e98d925713f42f0796aa888d1e63 /Configure.pl | |
| parent | d0da84fdc49300b8fc261eb088e3455d649c6cbe (diff) | |
Actually take/use the output extension.
Diffstat (limited to 'Configure.pl')
0 files changed, 0 insertions, 0 deletions