diff options
| author | dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> | 2021-08-21 05:02:47 +0300 |
|---|---|---|
| committer | nextcloud-command <nextcloud-command@users.noreply.github.com> | 2021-08-23 09:59:27 +0300 |
| commit | 06b1f8871cace1c4bdb8e837b00fe503feb985f1 (patch) | |
| tree | a8bcf2955a4d766959f80c0b1e2617b231cf1480 /js/highlight/mizar.js | |
| parent | 74bc62273f7194d122bb6a9be1822fa2fdeb8c48 (diff) | |
Bump @nextcloud/webpack-vue-config from 4.0.3 to 4.1.0
Bumps [@nextcloud/webpack-vue-config](https://github.com/nextcloud/webpack-vue-config) from 4.0.3 to 4.1.0.
- [Release notes](https://github.com/nextcloud/webpack-vue-config/releases)
- [Commits](https://github.com/nextcloud/webpack-vue-config/compare/v4.0.3...v4.1.0)
---
updated-dependencies:
- dependency-name: "@nextcloud/webpack-vue-config"
dependency-type: direct:development
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
Signed-off-by: nextcloud-command <nextcloud-command@users.noreply.github.com>
Diffstat (limited to 'js/highlight/mizar.js')
| -rw-r--r-- | js/highlight/mizar.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/js/highlight/mizar.js b/js/highlight/mizar.js index a5b4376f3..e8405b6a2 100644 --- a/js/highlight/mizar.js +++ b/js/highlight/mizar.js @@ -1,2 +1,2 @@ -(self.webpackChunktext=self.webpackChunktext||[]).push([["highlight/mizar"],{90918:function(e){e.exports=function(e){return{name:"Mizar",keywords:"environ vocabularies notations constructors definitions registrations theorems schemes requirements begin end definition registration cluster existence pred func defpred deffunc theorem proof let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from be being by means equals implies iff redefine define now not or attr is mode suppose per cases set thesis contradiction scheme reserve struct correctness compatibility coherence symmetry assymetry reflexivity irreflexivity connectedness uniqueness commutativity idempotence involutiveness projectivity",contains:[e.COMMENT("::","$")]}}}}]); -//# sourceMappingURL=mizar.js.map?v=208ddd19641076d75823
\ No newline at end of file +(self.webpackChunktext=self.webpackChunktext||[]).push([["highlight/mizar"],{90918:e=>{e.exports=function(e){return{name:"Mizar",keywords:"environ vocabularies notations constructors definitions registrations theorems schemes requirements begin end definition registration cluster existence pred func defpred deffunc theorem proof let take assume then thus hence ex for st holds consider reconsider such that and in provided of as from be being by means equals implies iff redefine define now not or attr is mode suppose per cases set thesis contradiction scheme reserve struct correctness compatibility coherence symmetry assymetry reflexivity irreflexivity connectedness uniqueness commutativity idempotence involutiveness projectivity",contains:[e.COMMENT("::","$")]}}}}]); +//# sourceMappingURL=mizar.js.map?v=1dcc83dde11f51b387bc
\ No newline at end of file |