diff options
Diffstat (limited to 'js/highlight/awk.js')
-rw-r--r-- | js/highlight/awk.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/highlight/awk.js b/js/highlight/awk.js index 85d1301c0..b703fc470 100644 --- a/js/highlight/awk.js +++ b/js/highlight/awk.js @@ -1,2 +1,2 @@ (window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[18],{202:function(e,n){e.exports=function(e){return{keywords:{keyword:"BEGIN END if else while do for in break continue delete next nextfile function func exit|10"},contains:[{className:"variable",variants:[{begin:/\$[\w\d#@][\w\d_]*/},{begin:/\$\{(.*?)}/}]},{className:"string",contains:[e.BACKSLASH_ESCAPE],variants:[{begin:/(u|b)?r?'''/,end:/'''/,relevance:10},{begin:/(u|b)?r?"""/,end:/"""/,relevance:10},{begin:/(u|r|ur)'/,end:/'/,relevance:10},{begin:/(u|r|ur)"/,end:/"/,relevance:10},{begin:/(b|br)'/,end:/'/},{begin:/(b|br)"/,end:/"/},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE]},e.REGEXP_MODE,e.HASH_COMMENT_MODE,e.NUMBER_MODE]}}}}]); -//# sourceMappingURL=awk.js.map?v=bf06ead787a9eba9eaf8
\ No newline at end of file +//# sourceMappingURL=awk.js.map?v=9117e59f939af5d66918
\ No newline at end of file |