]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - config_file.l
Switch to https.
[lopsub.git] / config_file.l
index 66c1b769192186ba77b474bc4bdf65190962768c..1fae6dba4af300a4bb2ad6202d987806ee1e6b4d 100644 (file)
@@ -1,7 +1,7 @@
 /*
  * Copyright (C) 2016 Andre Noll <maan@tuebingen.mpg.de>
  *
- * Licensed under the LGPL v3, see http://www.gnu.org/licenses/lgpl-3.0.html
+ * Licensed under the LGPL v3, see https://www.gnu.org/licenses/lgpl-3.0.html
  */
 
  /* We don't want symbols to clash with those of other flex users. */