9 Jun
2018
9 Jun
'18
10:30 a.m.
On Fri, 08 Jun 2018 at 23:04:20, nodivbyzero wrote:
--- web/html/css/archweb.css | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) [...]
We keep this in sync with the actual archweb CSS. So instead of doing this, we should copy and commit the most recent version from archweb.