lean.js « snippets « ace « js « htdocs - mathy - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff

path: root/htdocs/js/ace/snippets/lean.js

blob: 6979c7dad13c4be39f98ccfda350cf4e9b2f4bb4 (plain)

define("ace/snippets/lean",["require","exports","module"],function(e,t,n){"use strict";t.snippetText=undefined,t.scope="lean"})