X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=development%2Ftools%2Funicodesymbols.py;h=b67364baa1da4c6409e82a88656fdd4299ac3fec;hb=e8e3dafd8fbb37046ad36990f2fcca8255e950fa;hp=7338d2f0d56570d2d3ec1dd626958fc9c403b34d;hpb=efa844702c3844f5bb72ae3218ce175890a67db3;p=lyx.git diff --git a/development/tools/unicodesymbols.py b/development/tools/unicodesymbols.py index 7338d2f0d5..b67364baa1 100755 --- a/development/tools/unicodesymbols.py +++ b/development/tools/unicodesymbols.py @@ -1,4 +1,4 @@ -#! /usr/bin/env python +#! /usr/bin/python3 # -*- coding: utf-8 -*- # file unciodesymbols.py