Revision 42bb0573041c2a22b6f4531b347acba89cc408cd

Committed on 24/09/2014 2:49 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

unset e set LOCAL variables