diff options
| author | Paul Eggert | 2017-09-29 17:44:23 -0700 |
|---|---|---|
| committer | Paul Eggert | 2017-09-29 17:48:22 -0700 |
| commit | cbc832448878f7bc7b226243abb8d8b1ae68a937 (patch) | |
| tree | 6613378d69f12e31eac1b0f2ab51a984ce4bae75 /config.bat | |
| parent | bbda601d1d4e125c9d3c374b56eee3e2e9623f1d (diff) | |
| download | emacs-cbc832448878f7bc7b226243abb8d8b1ae68a937.tar.gz emacs-cbc832448878f7bc7b226243abb8d8b1ae68a937.zip | |
Prefer HTTPS to HTTP for gnu.org
This catches some URLs I missed in my previous scan,
or perhaps were added after the scan.
Diffstat (limited to 'config.bat')
| -rw-r--r-- | config.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.bat b/config.bat index d1f2702d356..d0251df560d 100644 --- a/config.bat +++ b/config.bat | |||
| @@ -16,7 +16,7 @@ rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |||
| 16 | rem GNU General Public License for more details. | 16 | rem GNU General Public License for more details. |
| 17 | 17 | ||
| 18 | rem You should have received a copy of the GNU General Public License | 18 | rem You should have received a copy of the GNU General Public License |
| 19 | rem along with GNU Emacs. If not, see http://www.gnu.org/licenses/. | 19 | rem along with GNU Emacs. If not, see https://www.gnu.org/licenses/. |
| 20 | 20 | ||
| 21 | rem ---------------------------------------------------------------------- | 21 | rem ---------------------------------------------------------------------- |
| 22 | rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: | 22 | rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: |