diff options
Diffstat (limited to 'js/highlight/julia-repl.js')
| -rw-r--r-- | js/highlight/julia-repl.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/julia-repl.js b/js/highlight/julia-repl.js index a6164a659..62a93f1a2 100644 --- a/js/highlight/julia-repl.js +++ b/js/highlight/julia-repl.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[90],{543:function(e,a,n){"use strict";e.exports=function(e){return{name:"Julia REPL",contains:[{className:"meta",begin:/^julia>/,relevance:10,starts:{end:/^(?![ ]{6})/,subLanguage:"julia"},aliases:["jldoctest"]}]}}}}]); -//# sourceMappingURL=julia-repl.js.map?v=4b5a567f4a6b86c1b769
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[90],{545:function(e,a,n){"use strict";e.exports=function(e){return{name:"Julia REPL",contains:[{className:"meta",begin:/^julia>/,relevance:10,starts:{end:/^(?![ ]{6})/,subLanguage:"julia"},aliases:["jldoctest"]}]}}}}]); +//# sourceMappingURL=julia-repl.js.map?v=d6622eb1952797edbb2b
\ No newline at end of file |