/DESCR-main/1.1.1.1/Sun Dec 27 21:40:56 2015//
/DESCR-server/1.1.1.1/Sun Dec 27 21:40:56 2015//
/PLIST-main/1.2/Sun Dec 17 20:10:12 2017//
/PLIST-server/1.1.1.1/Sun Dec 27 21:40:57 2015//
/hedgewars_server.rc/1.5/Thu Jan 11 19:27:02 2018//
D
