mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-12-11 06:46:10 +00:00
14 lines
509 B
JavaScript
14 lines
509 B
JavaScript
|
ace.define("ace/snippets/fsharp",["require","exports","module"], function(require, exports, module) {
|
||
|
|
"use strict";
|
||
|
|
|
||
|
|
exports.snippetText =undefined;
|
||
|
|
exports.scope = "fsharp";
|
||
|
|
|
||
|
|
}); (function() {
|
||
|
|
ace.require(["ace/snippets/fsharp"], function(m) {
|
||
|
|
if (typeof module == "object" && typeof exports == "object" && module) {
|
||
|
|
module.exports = m;
|
||
|
|
}
|
||
|
|
});
|
||
|
|
})();
|
||
|
|
|