diff options
| author | Julius Härtl <jus@bitgrid.net> | 2020-09-29 14:08:51 +0300 |
|---|---|---|
| committer | backportbot[bot] <backportbot[bot]@users.noreply.github.com> | 2020-09-29 17:06:57 +0300 |
| commit | 0ef40612008d82dcdfcab5befe24ed45ec4c18a8 (patch) | |
| tree | aed44079c9546712a195be688f697979aed592cd /js/highlight/flix.js | |
| parent | 13ace2da73044ee4e0e931826d662d15df2eeb10 (diff) | |
Bump bundles
Signed-off-by: Julius Härtl <jus@bitgrid.net>
Diffstat (limited to 'js/highlight/flix.js')
| -rw-r--r-- | js/highlight/flix.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/flix.js b/js/highlight/flix.js index f242142ad..975b43cd3 100644 --- a/js/highlight/flix.js +++ b/js/highlight/flix.js @@ -1,2 +1,2 @@ -(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[59],{434:function(e,n){e.exports=function(e){var n={className:"function",beginKeywords:"def",end:/[:={\[(\n;]/,excludeEnd:!0,contains:[{className:"title",begin:/[^0-9\n\t "'(),.`{}\[\]:;][^\n\t "'(),.`{}\[\]:;]+|[^0-9\n\t "'(),.`{}\[\]:;=]/}]};return{keywords:{literal:"true false",keyword:"case class def else enum if impl import in lat rel index let match namespace switch type yield with"},contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,{className:"string",begin:/'(.|\\[xXuU][a-zA-Z0-9]+)'/},{className:"string",variants:[{begin:'"',end:'"'}]},n,e.C_NUMBER_MODE]}}}}]); -//# sourceMappingURL=flix.js.map?v=a35dcc0a68a135bb896e
\ No newline at end of file +(window.textWebpackJsonp=window.textWebpackJsonp||[]).push([[59],{436:function(e,n){e.exports=function(e){var n={className:"function",beginKeywords:"def",end:/[:={\[(\n;]/,excludeEnd:!0,contains:[{className:"title",begin:/[^0-9\n\t "'(),.`{}\[\]:;][^\n\t "'(),.`{}\[\]:;]+|[^0-9\n\t "'(),.`{}\[\]:;=]/}]};return{keywords:{literal:"true false",keyword:"case class def else enum if impl import in lat rel index let match namespace switch type yield with"},contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,{className:"string",begin:/'(.|\\[xXuU][a-zA-Z0-9]+)'/},{className:"string",variants:[{begin:'"',end:'"'}]},n,e.C_NUMBER_MODE]}}}}]); +//# sourceMappingURL=flix.js.map?v=70316f30e9f4b0ad9f56
\ No newline at end of file |