diff options
Diffstat (limited to 'thirdparty/URI.js/prettify/lang-tex.js')
| -rw-r--r-- | thirdparty/URI.js/prettify/lang-tex.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/thirdparty/URI.js/prettify/lang-tex.js b/thirdparty/URI.js/prettify/lang-tex.js deleted file mode 100644 index ce96fbbd1..000000000 --- a/thirdparty/URI.js/prettify/lang-tex.js +++ /dev/null @@ -1 +0,0 @@ -PR.registerLangHandler(PR.createSimpleLexer([["pln",/^[\t\n\r \xa0]+/,null,"\t\n\r Â\xa0"],["com",/^%[^\n\r]*/,null,"%"]],[["kwd",/^\\[@-Za-z]+/],["kwd",/^\\./],["typ",/^[$&]/],["lit",/[+-]?(?:\.\d+|\d+(?:\.\d*)?)(cm|em|ex|in|pc|pt|bp|mm)/i],["pun",/^[()=[\]{}]+/]]),["latex","tex"]); |