diff options
author | Christian Pointner <equinox@helsinki.at> | 2015-07-22 13:20:09 (GMT) |
---|---|---|
committer | Christian Pointner <equinox@helsinki.at> | 2015-07-22 13:20:09 (GMT) |
commit | e6035cca7cf6f23b3965f6238e41103838c48d3b (patch) | |
tree | ed9dffb239a8babbf37a8cb11dc7d1ddfef54f99 /configure | |
parent | f4fd11fd93aeba8650f413f4a7a538eb8ba59ea0 (diff) |
removed old stuff
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -74,7 +74,7 @@ fi cat >> include.mk <<EOF # this file was created automatically -# do not edit this file directly +# do not edit this file directly # use ./configure instead INSTALL := install |