diff make/hotspot.script @ 14904:162d8fe89017

Revert 3e9a8ef2e0e1.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 31 Mar 2014 18:05:20 +0200
parents b59507f713e0
children 4ca6dc0799b6
line wrap: on
line diff