unknown-horizons/unknown-horizons — pull request #1972 by hansjoachim (2012-12-09 19:14:50+00:00)
Title: Tiny whitespace fix. Was indented with mix of tab and spaces.

Yes, I realize this patch isn't exactly the most useful thing ever, but I'm mainly just exploring how Github works at the moment :)