| .. |
|
Messages
|
Domain can be deleted - with automatic update of the own domain list.
|
2023-07-03 12:17:44 +02:00 |
|
AuthenticationDaemonAdminInterface.purs
|
New LogMessage structure.
|
2023-07-05 04:49:32 +02:00 |
|
AuthenticationForm.purs
|
Coding style corrections.
|
2023-07-08 04:00:32 +02:00 |
|
Button.purs
|
Update to PureScript 0.14 and Halogen 6 (#29)
|
2021-03-09 12:02:04 -08:00 |
|
Container.purs
|
Navbar in a separate file.
|
2023-07-08 04:17:13 +02:00 |
|
DNSZone.purs
|
DNSManager messages: mostly done. Build is okay.
|
2023-06-17 18:07:24 +02:00 |
|
DomainListInterface.purs
|
Coding style corrections.
|
2023-07-08 04:00:32 +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
|
Navbar in a separate file.
|
2023-07-08 04:17:13 +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 |
|
WS.purs
|
Show the URL of the WS connection.
|
2023-07-07 20:29:49 +02:00 |
