From 302b18c9ff8e472f94c4a5e023d284f9adfebd7f Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Mon, 10 Jul 2023 03:16:07 +0200
Subject: [PATCH] Minor changes.

---
 src/App/Messages/DNSManagerDaemon.purs | 1 -
 src/App/ZoneInterface.purs             | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/App/Messages/DNSManagerDaemon.purs b/src/App/Messages/DNSManagerDaemon.purs
index 2e7470a..6275165 100644
--- a/src/App/Messages/DNSManagerDaemon.purs
+++ b/src/App/Messages/DNSManagerDaemon.purs
@@ -147,7 +147,6 @@ codecDomainChanged ∷ CA.JsonCodec DomainChanged
 codecDomainChanged = CA.object "DomainChanged" (CAR.record { })
 
 {- 12  -}
--- TODO
 type Zone = { zone :: DNSZone.DNSZone }
 codecZone ∷ CA.JsonCodec Zone
 codecZone = CA.object "Zone" (CAR.record { zone: DNSZone.codec })
diff --git a/src/App/ZoneInterface.purs b/src/App/ZoneInterface.purs
index 7e70989..3ae6d2c 100644
--- a/src/App/ZoneInterface.purs
+++ b/src/App/ZoneInterface.purs
@@ -8,7 +8,6 @@
 
 module App.ZoneInterface where
 
-
 import Prelude
 
 import CSSClasses as CSSClasses