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: a6164a6595818dffb55bd5a6896feb7f604d51c6 (plain)

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