This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Giorgio Premi b6d4390ab6 Keep "pre" meaning for var_dump quick-and-dirty debug		2015-01-22 11:07:27 +01:00
..
body.css	Fixed CSS	2013-12-31 08:58:55 +01:00
exception.css	tweaked previous merge	2013-03-23 15:29:58 +01:00
structure.css	Keep "pre" meaning for var_dump quick-and-dirty debug	2015-01-22 11:07:27 +01:00