Revision e4bae15b04e0b76afdbaeba78b34bea4326fee86

Committed on 12/11/2012 7:16 am by Christian Bacher <[email protected]> [GitHub Diff]

corrections and new command