Gildas a1513fb7f3 don't change "OK" bg color when auto-save is active vor 7 Jahren
..
bg a1513fb7f3 don't change "OK" bg color when auto-save is active vor 7 Jahren
content 84ef1b88ea minor UI fix for firefox vor 7 Jahren
pages 574c93fa51 implemented auto-save on page unload vor 7 Jahren
resources b01a102360 optimized images vor 7 Jahren