File:Server.properties.png

Summary
A server.properties file for v1.7.2 opened with Notepad++.