src/settings.h
changeset 7417 c0ddfb49c50b
parent 6429 3512a65a7cfe
child 7901 6e8ab6c5473d
equal deleted inserted replaced
7416:cced8adef086 7417:c0ddfb49c50b