/*
* 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. */