|
css
|
change text colors
|
2023-05-01 10:11:09 -04:00 |
|
docs
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
img
|
add favicon
|
2023-04-11 09:14:21 -04:00 |
|
about.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
download.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
errata.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
index.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
install.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
|
install.html.old
|
rewrite installation guide
|
2023-03-29 11:38:07 -04:00 |
|
template.html
|
make pages more responsive
|
2023-05-01 10:42:27 -04:00 |
