minetest/minetest — pull request #1618 by Zeno- (2014-09-11 01:02:20+00:00)
Title: Make gettors for class Settings const

Also removed 2 unused functions