web/wdoc/userprefs_en.rst
branchstable
changeset 7822 ce8a4de2ecf1
parent 6177 76aaca285e07
child 10218 5ebbaf713caf
equal deleted inserted replaced
7820:2c73fc529a20 7822:ce8a4de2ecf1