Get rid of config files from git repo?

[xoft]

I'm thinking about getting rid of some of the configuration files from the git repository. Namely:

Code:

/MCServer/settings.ini
/MCServer/terrain.ini
/MCServer/webadmin.ini

The terrain.ini file is no longer used at all; the other two are usually locally-modified by each dev to their liking, and MCServer has the code, I believe, that takes *.example.ini instead of the *.ini if the *.ini doesn't exist, so I'd rename settings.ini and webadmin.ini to settings.example.ini and webadmin.example.ini. This would save us from gitstashing each time we wanted to merge a branch.

Any objections?