Philippe Pittoli 99fb18c57a Can now delete a domain. No automatic domain list update.		2023-07-03 04:31:00 +02:00
..
App	Can now delete a domain. No automatic domain list update.	2023-07-03 04:31:00 +02:00
AlternativeMain.purs	PermissionLevel: codec fixed.	2023-05-31 00:22:38 +02:00
Bulma.purs	Let's select a domain!	2023-07-02 00:05:38 +02:00
Main.purs	Main only starts App.Container.	2023-05-22 20:02:53 +02:00