src/settings_gui.cpp
changeset 7271 e99e02b7a495
parent 7226 a8650d6ecb53
child 7293 e5b1b6ef83db
equal deleted inserted replaced
7270:f38724fb558a 7271:e99e02b7a495