diff .hgtags @ 54:7c32c7d4bbb4

fonts (icons): re-added "comment-empty", removed while still used
author Goffi <goffi@goffi.org>
date Fri, 11 May 2018 16:06:34 +0200
parents 359f41ed5e33
children 39e807f5ecd1
line wrap: on
line diff