comparison help/help_mp-da.h @ 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 7a5d329bcb72
children
comparison
equal deleted inserted replaced
36886:590e9305f12c 36887:2b3ede5f8424