diff options
Diffstat (limited to 'js/highlight/shell.js')
| -rw-r--r-- | js/highlight/shell.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/shell.js b/js/highlight/shell.js index 9858b243b..0a56a375f 100644 --- a/js/highlight/shell.js +++ b/js/highlight/shell.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[159],{613:function(s,e,n){"use strict";s.exports=function(s){return{name:"Shell Session",aliases:["console"],contains:[{className:"meta",begin:/^\s{0,3}[/~\w\d[\]()@-]*[>%$#]/,starts:{end:/[^\\](?=\s*$)/,subLanguage:"bash"}}]}}}}]); -//# sourceMappingURL=shell.js.map?v=f0b81b7ce452ecaa7292
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[159],{615:function(s,e,n){"use strict";s.exports=function(s){return{name:"Shell Session",aliases:["console"],contains:[{className:"meta",begin:/^\s{0,3}[/~\w\d[\]()@-]*[>%$#]/,starts:{end:/[^\\](?=\s*$)/,subLanguage:"bash"}}]}}}}]); +//# sourceMappingURL=shell.js.map?v=bde723904665ac1b926e
\ No newline at end of file |