diff version.sh @ 36887:2b3ede5f8424

Remove needless fontid from Win32 GUI. It isn't used anywhere and has been removed from the X11/GTK GUI in r32827.
author ib
date Sat, 08 Mar 2014 18:31:29 +0000
parents 8f0fd63eca7f
children
line wrap: on
line diff