diff options
Diffstat (limited to '')
| -rw-r--r-- | editeng/source/misc/tokens.txt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/editeng/source/misc/tokens.txt b/editeng/source/misc/tokens.txt new file mode 100644 index 000000000..0b5a64607 --- /dev/null +++ b/editeng/source/misc/tokens.txt @@ -0,0 +1,7 @@ +abbreviated-name +block +block-list +list-name +name +package-name +unformatted-text |