diff options
Diffstat (limited to 'doc/symbols.lang')
| -rwxr-xr-x | doc/symbols.lang | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/symbols.lang b/doc/symbols.lang new file mode 100755 index 00000000..38ac4e1c --- /dev/null +++ b/doc/symbols.lang @@ -0,0 +1,5 @@ +co_symbol = "<1>","<2>","<3>","<4>","<5>","<6>","<7>","<8>", + "<9>","<10>","<11>","<12>","<13>","<14>","<15>" +symbol = "~","!","%","^","*","(",")","-","+","=","[", + "]","\\",":",";",",",".","/","?","&","<",">","\|" + |