Warzone2100/warzone2100 — pull request #32 by muggenhor (2013-01-03 14:28:04+00:00)
Title: Build problems

This fixes two warnings and gets rid of constantly rebuilding autorevision.h and its dependencies.