diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-06-12 10:15:04 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-06-12 10:15:04 +0200 |
| commit | c727ed7331960718681fa4222bec81fb577b56fb (patch) | |
| tree | e90818d7ead83f08561f6c89396e1f5f1074b157 /tex/context/base/char-ini.lua | |
| parent | 3e816646efde05d34564646800299790d32a2607 (diff) | |
| download | context-c727ed7331960718681fa4222bec81fb577b56fb.tar.gz | |
2015-06-12 10:08:00
Diffstat (limited to 'tex/context/base/char-ini.lua')
| -rw-r--r-- | tex/context/base/char-ini.lua | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tex/context/base/char-ini.lua b/tex/context/base/char-ini.lua index 4559fa28c..136cbf705 100644 --- a/tex/context/base/char-ini.lua +++ b/tex/context/base/char-ini.lua @@ -1291,17 +1291,6 @@ if not characters.superscripts then end --- for the moment only a few - -local tracedchars = utilities.strings.tracers - -tracedchars[0x00] = "[signal]" -tracedchars[0x0A] = "[linefeed]" -tracedchars[0x0B] = "[tab]" -tracedchars[0x0C] = "[formfeed]" -tracedchars[0x0D] = "[return]" -tracedchars[0x20] = "[space]" - function characters.showstring(str) local list = utotable(str) for i=1,#list do |