|
css
|
Fix font-size, it's odd and inconsistent in the theme
|
2016-01-16 15:25:48 +01:00 |
|
en
|
Add note about required make version.
|
2017-04-23 17:43:10 +02:00 |
|
img
|
Final polishing on several pages
|
2016-01-16 23:11:40 +01:00 |
|
js
|
Switch from readthedocs.org to readthedocs.io
|
2016-04-28 08:09:35 +02:00 |
