Philippe Pittoli 2352d2a3bb DNSManager interface: WIP.		2023-06-17 20:22:37 +02:00
..
Messages	Put the signature for codecs.	2023-06-17 18:16:52 +02:00
AuthenticationDaemonAdminInterface.purs	An admin can now create an admin user.	2023-06-13 20:17:27 +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
Container.purs	Bulma CSS style: WIP.	2023-06-08 21:51:12 +02:00
DNSManagerDomainsInterface.purs	DNSManager interface: WIP.	2023-06-17 20:22:37 +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