Andreas Suter a2ba9b588d updated the docu. Newly added: brief description of the supported file formats.

2023-09-02 13:20:49 +02:00

..

css

updated the docu. Newly added: brief description of the supported file formats.

2023-09-02 13:20:49 +02:00

fonts

update of the docu.

2022-12-12 16:35:36 +01:00

js

update of the docu.

2022-12-12 16:35:36 +01:00

ajax-loader.gif

update of doku for the dks6 branch.

2021-10-06 15:24:00 +02:00

alert_info_32.png

update of the docu.

2022-12-12 16:35:36 +01:00

alert_warning_32.png

update of the docu.

2022-12-12 16:35:36 +01:00

basic.css

update of the docu.

2022-12-12 16:35:36 +01:00

bg-page.png

update of the docu.

2022-12-12 16:35:36 +01:00

bullet_orange.png

update of the docu.

2022-12-12 16:35:36 +01:00

comment-bright.png

update of the docu.

2022-12-12 16:35:36 +01:00

comment-close.png

update of the docu.

2022-12-12 16:35:36 +01:00

comment.png

update of the docu.

2022-12-12 16:35:36 +01:00

doctools.js

update of the docu.

2022-12-12 16:35:36 +01:00

documentation_options.js

updated the docu. Newly added: brief description of the supported file formats.

2023-09-02 13:20:49 +02:00

down-pressed.png

update of the docu.

2022-12-12 16:35:36 +01:00

down.png

update of the docu.

2022-12-12 16:35:36 +01:00

file.png

update of the docu.

2022-12-12 16:35:36 +01:00

haiku.css

update of the docu.

2022-12-12 16:35:36 +01:00

jquery-3.2.1.js

update of the docu.

2022-12-12 16:35:36 +01:00

jquery.js

update of the docu.

2022-12-12 16:35:36 +01:00

minus.png

update of the docu.

2022-12-12 16:35:36 +01:00

plus.png

update of the docu.

2022-12-12 16:35:36 +01:00

pygments.css

switch the docu system from foswiki to sphinx.

2018-07-03 18:52:00 +02:00

searchtools.js

update of the docu.

2022-12-12 16:35:36 +01:00

underscore-1.3.1.js

update of the docu.

2022-05-29 15:56:24 +02:00

underscore.js

switch the docu system from foswiki to sphinx.

2018-07-03 18:52:00 +02:00

up-pressed.png

update of the docu.

2022-12-12 16:35:36 +01:00

up.png

update of the docu.

2022-12-12 16:35:36 +01:00

websupport.js

update of the docu.

2022-12-12 16:35:36 +01:00