diff icons/menu/home_menu_red.png @ 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 7d6fbdc31e7a
children
line wrap: on
line diff