karchnu
/
halogen-websocket-ipc-playzone
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Minor changes.

beta
Philippe Pittoli 2023-07-10 03:16:07 +02:00
parent f03909f83d
commit 302b18c9ff
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/App/Messages/DNSManagerDaemon.purs
View File

@ -147,7 +147,6 @@ codecDomainChanged ∷ CA.JsonCodec DomainChanged
codecDomainChanged = CA.object "DomainChanged" (CAR.record { }) codecDomainChanged = CA.object "DomainChanged" (CAR.record { })
{- 12 -} {- 12 -}
-- TODO
type Zone = { zone :: DNSZone.DNSZone } type Zone = { zone :: DNSZone.DNSZone }
codecZone ∷ CA.JsonCodec Zone codecZone ∷ CA.JsonCodec Zone
codecZone = CA.object "Zone" (CAR.record { zone: DNSZone.codec }) codecZone = CA.object "Zone" (CAR.record { zone: DNSZone.codec })

1
src/App/ZoneInterface.purs
View File

@ -8,7 +8,6 @@
module App.ZoneInterface where module App.ZoneInterface where
import Prelude import Prelude
import CSSClasses as CSSClasses import CSSClasses as CSSClasses