src/Pure/Tools/fontforge.scala
Mon, 25 Nov 2019 12:19:14 +0100 wenzelm tuned -- avoid deprecated constructors;
less more (0) -1 tip