diff help/help_mp-ru.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 2208a16cc562
line wrap: on
line diff