nodist: added new symbols (ADG logo and gear)
authorNicola Fontana <ntd@entidi.it>
Sun, 29 Dec 2013 18:47:40 +0000 (19:47 +0100)
committerNicola Fontana <ntd@entidi.it>
Sun, 29 Dec 2013 18:47:40 +0000 (19:47 +0100)
commitd776f487c27641b9934180f08aa2830239fc41d8
treea03acd80b5d568d3d6a5efc37e067c1755f4fdcc
parent2c6ea3c896e4fb9cb6162910d667b53262742b33
nodist: added new symbols (ADG logo and gear)

Implemented missing symbols and improved general consistency by using a
better scale factor, dependent on the underline symbol.
nodist/symbols.mp