Gildas 9ded1b195f renamed keys 6 anni fa
..
core 1945d80b48 don't cancel tasks when being autosaved 6 anni fa
lib 663158c82f added option "synchronize options" (fix #296) 6 anni fa
ui 9ded1b195f renamed keys 6 anni fa