diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-04-20 00:30:38 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-04-20 00:30:38 +0200 |
| commit | 9a2e702f9d1204e2a807db55b6886cb72578a168 (patch) | |
| tree | 666955e661d56b03f30b02e761ca4fdfd07e50c0 | |
| parent | a541a957e7ea83d31b411fb82e86870c3bf82652 (diff) | |
Remove .txt extension
| -rwxr-xr-x | gen/string/gbrk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gen/string/gbrk b/gen/string/gbrk index 18f7cd4..e0acca7 100755 --- a/gen/string/gbrk +++ b/gen/string/gbrk @@ -85,9 +85,9 @@ END { printf "\t{0x%06X, 0x%06X, %s},\n", lo, i, props[lo] } } -' data/GraphemeBreakProperty.txt \ - data/DerivedCoreProperties.txt \ - data/emoji-data.txt \ +' data/GraphemeBreakProperty \ + data/DerivedCoreProperties \ + data/emoji-data \ | sort cat <<C |