| .. |
|
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
|
At last, some documentation. Just a scratch on the surface.
|
2023-07-08 17:04:13 +02:00 |
|
Button.purs
|
Update to PureScript 0.14 and Halogen 6 (#29)
|
2021-03-09 12:02:04 -08:00 |
|
Container.purs
|
Store the state of DomainListInterface in its parent. IT WORKS!
|
2023-07-09 02:28:36 +02:00 |
|
DNSZone.purs
|
DNSManager messages: mostly done. Build is okay.
|
2023-06-17 18:07:24 +02:00 |
|
DomainListInterface.purs
|
Store the state of DomainListInterface in its parent. IT WORKS!
|
2023-07-09 02:28:36 +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 |
|
ResourceRecord.purs
|
DNSManager messages: mostly done. Build is okay.
|
2023-06-17 18:07:24 +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 |
