src/settings.h
changeset 6226 e2e9607ea3cc
parent 5587 167d9a91ef02
child 6248 e4a2ed7e5613