mike 1cda9a5d93 Add a license file and remove license header

2017-12-21 11:20:01 +01:00

..

_exts

Add a license file and remove license header

2017-12-21 11:20:01 +01:00

_theme @ 6f1bc8bead

Update git submodule "docs/en/_theme" to master

2017-05-20 19:57:44 -06:00

reference

reapply wrongly removed changes

2016-08-09 13:03:23 +02:00

conf.py

Update theme

2012-02-05 21:12:20 +01:00

index.rst

initial docs for caching

2012-09-23 21:32:37 +02:00

make.bat

Convert docs to ReST, enhance annotations chapter considerably (not yet done)

2011-07-03 00:34:21 +02:00

Makefile

Convert docs to ReST, enhance annotations chapter considerably (not yet done)

2011-07-03 00:34:21 +02:00