diff options
| -rwxr-xr-x | configure | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -467,9 +467,6 @@ fi printf "completing config.mk... " -cmdline=$(quote "$0") -for i ; do cmdline="$cmdline $(quote "$i")" ; done - exec 3>&1 1>>config.mk cat << EOF |
![]() |
index : vis.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Mike Vink |
| summaryrefslogtreecommitdiff |
| -rwxr-xr-x | configure | 3 |
@@ -467,9 +467,6 @@ fi printf "completing config.mk... " -cmdline=$(quote "$0") -for i ; do cmdline="$cmdline $(quote "$i")" ; done - exec 3>&1 1>>config.mk cat << EOF |