Philippe Pittoli 85cda46d63 Add colors to source code links.		2024-03-20 19:52:19 +01:00
..
App	Add colors to source code links.	2024-03-20 19:52:19 +01:00
Bulma.purs
CSSClasses.purs	Source code: better display of links.	2024-03-20 01:58:33 +01:00
Main.purs
MissingHTMLProperties.purs