mathieui 8afbb44cee Add a reorder plugin ... /reorder command to organize the tabs according to a fixed layout		2015-01-03 23:09:43 +01:00
..
source	Add a reorder plugin	2015-01-03 23:09:43 +01: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