Merge: svg_to_icons: add an option to generate icons with different names
authorJean Privat <jean@pryen.org>
Thu, 26 Nov 2015 18:52:31 +0000 (13:52 -0500)
committerJean Privat <jean@pryen.org>
Thu, 26 Nov 2015 18:52:31 +0000 (13:52 -0500)
Pull-Request: #1847
Reviewed-by: Jean Privat <jean@pryen.org>


Trivial merge