#259: [scripts] drop old hacks, no longer needed

This commit is contained in:
Fabio Erculiani
2011-09-03 09:08:26 +02:00

Submodule commit.ref updated: 039d52d974...45d345d75e