Strip the leading zero when displaying dates
authorAlex Chan <alex@alexwlchan.net>
Sun, 2 Feb 2020 19:05:07 +0000 (19:05 +0000)
committerAlex Chan <alex@alexwlchan.net>
Sun, 2 Feb 2020 19:05:07 +0000 (19:05 +0000)
commit4c35a73de3d5c384d142b2e1e40488305f851c97
tree536d9a08449c75626fb9c921224be487ada59fbe
parente023a99cc20d0db828fd42209552d2390578424f
Strip the leading zero when displaying dates

e.g. "1 February", not "01 February".
scripts/render_html.py