hakril f53cd00bc4 cosmetic changes to doc + generate html doc

2019-01-03 22:20:19 +01:00

..

css

Regenerate sphinx doc

2018-08-03 10:10:31 +02:00

ajax-loader.gif

Rename /doc to /docs + commit build/ for the new source of github pages method

2016-08-19 16:21:34 +02:00

basic.css

updated doc

2018-03-07 10:24:46 +01:00

classic.css

updated doc

2018-03-07 10:24:46 +01:00

comment-bright.png

Update doc build

2017-04-13 11:42:52 +02:00

comment-close.png

Update doc build

2017-04-13 11:42:52 +02:00

comment.png

Update doc build

2017-04-13 11:42:52 +02:00

doctools.js

Regenerate sphinx doc

2018-08-03 10:10:31 +02:00

documentation_options.js

cosmetic changes to doc + generate html doc

2019-01-03 22:20:19 +01:00

down-pressed.png

Update doc build

2017-04-13 11:42:52 +02:00

down.png

Update doc build

2017-04-13 11:42:52 +02:00

file.png

Update doc build

2017-04-13 11:42:52 +02:00

jquery-3.2.1.js

updated doc

2018-03-07 10:24:46 +01:00

jquery.js

updated doc

2018-03-07 10:24:46 +01:00

minus.png

Update doc build

2017-04-13 11:42:52 +02:00

plus.png

Update doc build

2017-04-13 11:42:52 +02:00

pygments.css

Update doc build

2017-04-13 11:42:52 +02:00

searchtools.js

updated doc

2018-03-07 10:24:46 +01:00

sidebar.js

updated doc

2018-03-07 10:24:46 +01:00

underscore-1.3.1.js

Rename /doc to /docs + commit build/ for the new source of github pages method

2016-08-19 16:21:34 +02:00

underscore.js

Rename /doc to /docs + commit build/ for the new source of github pages method

2016-08-19 16:21:34 +02:00

up-pressed.png

Update doc build

2017-04-13 11:42:52 +02:00

up.png

Update doc build

2017-04-13 11:42:52 +02:00

websupport.js

updated doc

2018-03-07 10:24:46 +01:00