| .. |
|
bg
|
5ec67f9902
fixed "remove hidden elements" option
|
vor 7 Jahren |
|
content
|
31033af1ee
removed pointless directory
|
vor 7 Jahren |
|
pages
|
6b1a19cdb3
set 2nd level option margin to 10px
|
vor 7 Jahren |
|
resources
|
b5d84e0950
made the progress bar more visible
|
vor 7 Jahren |
Gildas