| .. |
|
bg
|
ceb7db5c2a
refresh icon only when auto-saving after load, nothing after unload
|
vor 7 Jahren |
|
content
|
84ef1b88ea
minor UI fix for firefox
|
vor 7 Jahren |
|
pages
|
ad3bb640d0
updated "Additional notes"
|
vor 7 Jahren |
|
resources
|
b01a102360
optimized images
|
vor 7 Jahren |
Gildas