diff options
Diffstat (limited to 'scripts/GenerateCharacterCategory.py')
-rw-r--r-- | scripts/GenerateCharacterCategory.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/GenerateCharacterCategory.py b/scripts/GenerateCharacterCategory.py index ba6ac858d..355322992 100644 --- a/scripts/GenerateCharacterCategory.py +++ b/scripts/GenerateCharacterCategory.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 # Script to generate CharacterCategory.cxx from Python's Unicode data # Should be run rarely when a Python with a new version of Unicode data is available. # Requires Python 3.3 or later |