Update copyright year to 2018.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 11 Jan 2018 08:04:17 +0000 (09:04 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 14 Jan 2018 21:23:24 +0000 (22:23 +0100)
commit0ebb7e2b2e8599d5aea81fee2c2bbbed90af6f65
treed928188be1547f603e97223beb4a48c572e5687c
parent04c943a4cbf81efc78854731196fb269883053f6
Update copyright year to 2018.

Fortunately, there is only a single place to update.
Makefile.real