diff options
| -rwxr-xr-x | config.guess | 7 | ||||
| -rwxr-xr-x | config.sub | 7 |
2 files changed, 0 insertions, 14 deletions
diff --git a/config.guess b/config.guess index da83314..927a3c3 100755 --- a/config.guess +++ b/config.guess @@ -1552,10 +1552,3 @@ UNAME_VERSION = ${UNAME_VERSION} EOF exit 1 - -# Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) -# time-stamp-start: "timestamp='" -# time-stamp-format: "%:y-%02m-%02d" -# time-stamp-end: "'" -# End: @@ -1677,10 +1677,3 @@ esac echo $basic_machine$os exit - -# Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) -# time-stamp-start: "timestamp='" -# time-stamp-format: "%:y-%02m-%02d" -# time-stamp-end: "'" -# End: |