jvazquez-r7 300781823d Undo bad landing ...

This reverts commit e624ed18ad, reversing
changes made to 593363c5f9.

2013-07-29 17:39:12 -05:00

..

gather

Undo bad landing

2013-07-29 17:39:12 -05:00

manage

use bash or sh according to availability

2013-03-21 17:26:56 +01:00