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 e44092663..c91ec3288 100644 --- a/js/highlight/shell.js +++ b/js/highlight/shell.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[153],{502:function(n,s){n.exports=function(n){return{aliases:["console"],contains:[{className:"meta",begin:"^\\s{0,3}[\\w\\d\\[\\]()@-]*[>%$#]",starts:{end:"$",subLanguage:"bash"}}]}}}}]); -//# sourceMappingURL=shell.js.map?v=81e14fb84cb662028a52
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[153],{505:function(n,s){n.exports=function(n){return{aliases:["console"],contains:[{className:"meta",begin:"^\\s{0,3}[\\w\\d\\[\\]()@-]*[>%$#]",starts:{end:"$",subLanguage:"bash"}}]}}}}]); +//# sourceMappingURL=shell.js.map?v=31711764ce1a9c77a039
\ No newline at end of file |