diff monkeys/release.py @ 466:8ee6e7649aba

web: Update to Font Awesome 5.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 06 Oct 2018 19:51:12 -0700
parents d8a1a031ad7d
children 5955eb74b1c2
line wrap: on
line diff