schema: rm AppName attr

This commit is contained in:
leo 2023-05-17 20:07:22 +02:00
parent 8549e0188d
commit 063bbe9f16
Signed by: wanderer
SSH Key Fingerprint: SHA256:Dp8+iwKHSlrMEHzE3bJnPng70I7LEsa3IJXRH/U+idQ
3 changed files with 3 additions and 5 deletions

@ -1,10 +1,10 @@
{ Schema =
./schema.dhall
sha256:d393b005ad10d5b8e775956dbc4e792c9da9c7760baf03e537dfac52b1ecfd31
sha256:9158ba3afb08016d332df7e3c90a2578f0aaaa71744e1230301a60e97734f52d
? ./schema.dhall
, Schema/validate =
./validate.dhall
sha256:aff9136148e3214a4ea0f091901516cf5e74eb24648492b60fa9ee6892e1237b
sha256:4be4456e23d9077cb43960293bbc44f2482273bf634865e0d739dbd0f8e6c8a1
? ./validate.dhall
, Schema/version =
./version.dhall

@ -30,7 +30,6 @@ let Schema =
, SubjectPrefix : Text
, SendPlainText : Bool
}
, AppName : Text
, LiveMode : Bool
, DevelMode : Bool
, Session :
@ -68,7 +67,6 @@ let Schema =
, SubjectPrefix = "pcmt - "
, SendPlainText = True
}
, AppName = "pcmt"
, LiveMode = False
, DevelMode = False
, Session =

@ -5,7 +5,7 @@ let Prelude =
let Schema =
./schema.dhall
sha256:d393b005ad10d5b8e775956dbc4e792c9da9c7760baf03e537dfac52b1ecfd31
sha256:9158ba3afb08016d332df7e3c90a2578f0aaaa71744e1230301a60e97734f52d
? ./schema.dhall
let Schema/validate