Gildas 092bd6872a updated list of contributors 6 lat temu
..
core 95489f63b3 better handling of large pages 6 lat temu
lib 663158c82f added option "synchronize options" (fix #296) 6 lat temu
ui 092bd6872a updated list of contributors 6 lat temu