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