julia-repl.js « highlight « js - github.com/nextcloud/text.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

julia-repl.js « highlight « js - github.com/nextcloud/text.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/nextcloud/text.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/js/highlight/julia-repl.js

blob: e0c684fdbad6670c18e90e24c070ae3868f0d515 (plain)

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