diff scripts/whitespacecleanup.sh @ 7010:1ea5d93c97de

less: remove unnecessary repo size styling - empty badges are already hidden - the badge style overrides the padding anyway
author domruf <dominikruf@gmail.com>
date Sat, 28 Oct 2017 19:25:26 +0200
parents 322ce5147fe0
children a5a9ded8c673
line wrap: on
line diff