Files
mediawiki-extensions-Univer…/resources/js
Amir E. Aharoni 2ad892ae81 Removed "Select prefered font" heading
It seems redundant to me: There are one or two dropdown menus for
selecting fonts, with pretty clear labels.

Change-Id: If6134997b7c34eeb32efed1dcee13c61d8af7750
2012-10-11 08:41:09 +02:00
..
2012-10-09 19:59:20 +05:30