src/settings_type.h
changeset 8296 59fa0940aefe
parent 8268 5027ad5e70a0
child 8464 84733620d05e
equal deleted inserted replaced
8295:70fa977c9c65 8296:59fa0940aefe