Philippe Pittoli 850d61678a Add a "." between the subdomain and domain names, only when needed.		2023-07-02 23:50:19 +02:00
..
Messages	DomainAdded message. List of domains auto-update when adding a message.	2023-07-01 16:03:29 +02:00
AuthenticationDaemonAdminInterface.purs	WIP	2023-06-18 02:11:16 +02:00
AuthenticationForm.purs	New authd API on request functions: complete. Still subject to changes, though.	2023-06-13 19:49:38 +02:00
Button.purs	Update to PureScript 0.14 and Halogen 6 (#29)	2021-03-09 12:02:04 -08:00
Container.purs	Messages are sent and received, but something fails.	2023-06-18 02:34:52 +02:00
DNSManagerDomainsInterface.purs	Add a "." between the subdomain and domain names, only when needed.	2023-07-02 23:50:19 +02:00
DNSZone.purs	DNSManager messages: mostly done. Build is okay.	2023-06-17 18:07:24 +02:00
Email.purs	Codecs, Codecs everywhere!	2023-05-26 01:39:50 +02:00
IPC.purs	Parsing JSON messages: FIXED.	2023-05-25 00:07:59 +02:00
MaintenanceSubject.purs	DNSManager messages: mostly done. Build is okay.	2023-06-17 18:07:24 +02:00
OriginalInterface.purs	re: better with the attached files.	2023-05-22 16:38:31 +02:00
PermissionLevel.purs	PermissionLevel: codec fixed.	2023-05-31 00:22:38 +02:00
ResourceRecord.purs	DNSManager messages: mostly done. Build is okay.	2023-06-17 18:07:24 +02:00
UserPublic.purs	UserAdded: message was correctly parsed after all.	2023-06-04 02:01:50 +02:00