diff options
Diffstat (limited to 'js/highlight/erlang-repl.js')
| -rw-r--r-- | js/highlight/erlang-repl.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/highlight/erlang-repl.js b/js/highlight/erlang-repl.js index 7400f2225..7b5d631b8 100644 --- a/js/highlight/erlang-repl.js +++ b/js/highlight/erlang-repl.js @@ -1,2 +1,2 @@ (window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[56],{240:function(e,n){e.exports=function(e){return{keywords:{built_in:"spawn spawn_link self",keyword:"after and andalso|10 band begin bnot bor bsl bsr bxor case catch cond div end fun if let not of or orelse|10 query receive rem try when xor"},contains:[{className:"meta",begin:"^[0-9]+> ",relevance:10},e.COMMENT("%","$"),{className:"number",begin:"\\b(\\d+#[a-fA-F0-9]+|\\d+(\\.\\d+)?([eE][-+]?\\d+)?)",relevance:0},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE,{begin:"\\?(::)?([A-Z]\\w*(::)?)+"},{begin:"->"},{begin:"ok"},{begin:"!"},{begin:"(\\b[a-z'][a-zA-Z0-9_']*:[a-z'][a-zA-Z0-9_']*)|(\\b[a-z'][a-zA-Z0-9_']*)",relevance:0},{begin:"[A-Z][a-zA-Z0-9_']*",relevance:0}]}}}}]); -//# sourceMappingURL=erlang-repl.js.map?v=9f865e111d1196855228
\ No newline at end of file +//# sourceMappingURL=erlang-repl.js.map?v=8fb50c87f685add70726
\ No newline at end of file |