src/settings_type.h
changeset 10601 c843d0e06015
parent 10444 3876060cdef7
child 10682 3b753d908205
equal deleted inserted replaced
10600:c2e353297912 10601:c843d0e06015