diff options
| author | Julius Härtl <jus@bitgrid.net> | 2019-08-06 11:02:42 +0300 |
|---|---|---|
| committer | npmbuildbot[bot] <npmbuildbot[bot]@users.noreply.github.com> | 2019-08-06 11:44:32 +0300 |
| commit | 9c82ad4fe3a62e4844b1ba1d47db8336d66dc9c8 (patch) | |
| tree | 2478e2cdcb33d551ab68703b278b2db05d3880bd /js/highlight/awk.js | |
| parent | 5458e8230720311a5780c7e942ec49521288479c (diff) | |
Always make sure to get the latest sendable steps when retrying
Signed-off-by: Julius Härtl <jus@bitgrid.net>
Signed-off-by: npmbuildbot[bot] <npmbuildbot[bot]@users.noreply.github.com>
Diffstat (limited to 'js/highlight/awk.js')
| -rw-r--r-- | js/highlight/awk.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/awk.js b/js/highlight/awk.js index 6d4272809..a927c552c 100644 --- a/js/highlight/awk.js +++ b/js/highlight/awk.js @@ -1,2 +1,2 @@ -(window.webpackJsonp=window.webpackJsonp||[]).push([[17],{102:function(e,n){e.exports=function(e){return{keywords:{keyword:"BEGIN END if else while do for in break continue delete next nextfile function func exit|10"},contains:[{className:"variable",variants:[{begin:/\$[\w\d#@][\w\d_]*/},{begin:/\$\{(.*?)}/}]},{className:"string",contains:[e.BACKSLASH_ESCAPE],variants:[{begin:/(u|b)?r?'''/,end:/'''/,relevance:10},{begin:/(u|b)?r?"""/,end:/"""/,relevance:10},{begin:/(u|r|ur)'/,end:/'/,relevance:10},{begin:/(u|r|ur)"/,end:/"/,relevance:10},{begin:/(b|br)'/,end:/'/},{begin:/(b|br)"/,end:/"/},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE]},e.REGEXP_MODE,e.HASH_COMMENT_MODE,e.NUMBER_MODE]}}}}]); -//# sourceMappingURL=awk.js.map?v=a53db348b2a25a5ca1ad
\ No newline at end of file +(window.webpackJsonp=window.webpackJsonp||[]).push([[17],{99:function(e,n){e.exports=function(e){return{keywords:{keyword:"BEGIN END if else while do for in break continue delete next nextfile function func exit|10"},contains:[{className:"variable",variants:[{begin:/\$[\w\d#@][\w\d_]*/},{begin:/\$\{(.*?)}/}]},{className:"string",contains:[e.BACKSLASH_ESCAPE],variants:[{begin:/(u|b)?r?'''/,end:/'''/,relevance:10},{begin:/(u|b)?r?"""/,end:/"""/,relevance:10},{begin:/(u|r|ur)'/,end:/'/,relevance:10},{begin:/(u|r|ur)"/,end:/"/,relevance:10},{begin:/(b|br)'/,end:/'/},{begin:/(b|br)"/,end:/"/},e.APOS_STRING_MODE,e.QUOTE_STRING_MODE]},e.REGEXP_MODE,e.HASH_COMMENT_MODE,e.NUMBER_MODE]}}}}]); +//# sourceMappingURL=awk.js.map?v=42f20aa9bd52033e4e8c
\ No newline at end of file |