mathieui 61f28d7ffe Change the sphinx theme to one derived from readthedocs ... (without stuff like the unicode codepoint agressions and external resources) This should be cleaner and look good on mobile devices too.		2015-02-07 21:14:48 +01:00
..
source	Change the sphinx theme to one derived from readthedocs	2015-02-07 21:14:48 +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