]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - lopsubgen.l
lopsub-1.0.5
[lopsub.git] / lopsubgen.l
index a5b0c4f81de371bc4de07cea02ca359fc1d53119..b82ad3f731ea6b7701f0efacb6556acd3ae1e25b 100644 (file)
@@ -1,7 +1,7 @@
 /*
  * Copyright (C) 2016 Andre Noll <maan@tuebingen.mpg.de>
  *
- * Licensed under the GPL v3, see http://www.gnu.org/licenses/gpl-3.0.html
+ * Licensed under the GPL v3, see https://www.gnu.org/licenses/gpl-3.0.html
  */
 
 %option stack