| .. |
|
Messages
|
RRDeleted message.
|
2023-07-10 03:36:40 +02:00 |
|
AuthenticationDaemonAdminInterface.purs
|
Store the AuthenticationDaemonAdminInterface state, too.
|
2023-07-09 02:40:10 +02:00 |
|
AuthenticationForm.purs
|
At last, some documentation. Just a scratch on the surface.
|
2023-07-08 17:04:13 +02:00 |
|
Container.purs
|
Container now provides messages from dnsmanagerd to the ZoneInterface module.
|
2023-07-10 04:08:02 +02:00 |
|
DNSZone.purs
|
TTL limit actually isn't sent.
|
2023-07-10 04:17:00 +02:00 |
|
DomainListInterface.purs
|
Show a zone template.
|
2023-07-09 05:27:53 +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 |
|
Log.purs
|
New LogMessage structure.
|
2023-07-05 04:49:32 +02:00 |
|
LogMessage.purs
|
New LogMessage structure.
|
2023-07-05 04:49:32 +02:00 |
|
MaintenanceSubject.purs
|
DNSManager messages: mostly done. Build is okay.
|
2023-06-17 18:07:24 +02:00 |
|
Nav.purs
|
Better (pseudo-)routing.
|
2023-07-08 06:29:37 +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 |
|
RR.purs
|
Adding a WIP zone interface. Not even showable ATM.
|
2023-07-09 05:14:29 +02:00 |
|
ResourceRecord.purs
|
Forgot a value in the ResourceRecord type.
|
2023-07-10 03:59:15 +02:00 |
|
Style.purs
|
ZoneInterface now uses mostly the Bulma module.
|
2023-07-10 18:14:56 +02:00 |
|
UserPublic.purs
|
Make the compiler happy (remove useless imports).
|
2023-07-08 17:05:34 +02:00 |
|
WS.purs
|
Show the URL of the WS connection.
|
2023-07-07 20:29:49 +02:00 |
|
ZoneInterface.purs
|
ZoneInterface now uses mostly the Bulma module.
|
2023-07-10 18:14:56 +02:00 |
Philippe Pittoli
c0db4a93e0