|
css
|
Tweak theme and update a few modules for consistency
|
2016-01-08 20:49:56 +01:00 |
|
de
|
Rename DIR to dir and improve JavaScript for RTD
|
2015-12-28 17:25:00 +01:00 |
|
en
|
Small doc-syntax fixes
|
2016-01-09 12:37:56 +01:00 |
|
img
|
More tinkering
|
2015-12-17 20:00:23 +01:00 |
|
js
|
JavaScript clean-up and documenting
|
2015-12-28 23:36:58 +01:00 |
