Updated gnu.org links to use HTTPS

2019-09-10 12:34:57 +02:00
parent ef722d37cb
commit 60b2196bce
494 changed files with 498 additions and 498 deletions
--- a/LICENSE.txt
+++ b/LICENSE.txt
@@ -13,7 +13,7 @@
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
-    along with this program.  If not, see <http://www.gnu.org/licenses/>.
+    along with this program.  If not, see <https://www.gnu.org/licenses/>.

                    GNU GENERAL PUBLIC LICENSE
                       Version 3, 29 June 2007