Merge branch 'master' into master

This commit is contained in:
Karel Krýda 2022-05-09 10:28:14 +02:00 committed by GitHub
commit 42f931f6cf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
13 changed files with 460 additions and 48 deletions

View file

@ -5,8 +5,14 @@
<script>
export default {
props: {
monitor: Object,
type: String,
monitor: {
type: Object,
default: null,
},
type: {
type: String,
default: null,
},
pill: {
type: Boolean,
default: false,