mathieui 927822cb46 Document the vertical_tab_list_size option better ... say it’s for horizontal size		2015-05-21 10:36:48 +02:00
..
source	Document the vertical_tab_list_size option better	2015-05-21 10:36:48 +02:00
stub	Add a reorder plugin	2015-01-03 23:09:43 +01:00
Makefile	Beginning of the migration to reST documentation	2013-04-08 18:52:35 +02:00