src/settings_type.h
changeset 9607 5a5728fb702a
parent 9466 5a1d4eb2ae07
child 9785 2005c34d0811
equal deleted inserted replaced
9606:59d9cc5391f2 9607:5a5728fb702a