diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-29 17:44:23 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-29 17:48:22 -0700 |
| commit | cbc832448878f7bc7b226243abb8d8b1ae68a937 (patch) | |
| tree | 6613378d69f12e31eac1b0f2ab51a984ce4bae75 /config.bat | |
| parent | bbda601d1d4e125c9d3c374b56eee3e2e9623f1d (diff) | |
| download | emacs-cbc832448878f7bc7b226243abb8d8b1ae68a937.tar.gz | |
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 rem GNU General Public License for more details.
rem You should have received a copy of the GNU General Public License
-rem along with GNU Emacs. If not, see http://www.gnu.org/licenses/.
+rem along with GNU Emacs. If not, see https://www.gnu.org/licenses/.
rem ----------------------------------------------------------------------
rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
|