Makefile.real: Remove duplicate $build_date.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 7 May 2016 08:59:33 +0000 (10:59 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 8 May 2016 12:29:27 +0000 (14:29 +0200)
commit4e4e5d5d04d70ed23f0793cc914f136f15514533
tree43cc15ac8136adc2e2e000372449f455e99edf38
parent28950d87503c12d3e90928346011bed01f9728d3
Makefile.real: Remove duplicate $build_date.

This was introduced one year ago in commit e080d112.
Makefile.real