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 e0c684fdb..9dcb6fda8 100644 --- a/js/highlight/julia-repl.js +++ b/js/highlight/julia-repl.js @@ -1,2 +1,2 @@ -(self.webpackChunktext=self.webpackChunktext||[]).push([["highlight/julia-repl"],{79989:e=>{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=1e83d5dca20657d35389
\ No newline at end of file +(self.webpackChunk_nextcloud_text=self.webpackChunk_nextcloud_text||[]).push([["highlight/julia-repl"],{79989:e=>{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=f0aa3861f2820d6f7253
\ No newline at end of file |