tree 9524237dd1edd60f7edb8c37a367fcb1e0f1a96d
parent ddaf63fe1b41dfd58c646b05fd16dbe374a81ef3
author Nico Weber <nicolasweber@gmx.de> 1478463624 -0800
committer Nico Weber <nicolasweber@gmx.de> 1478463624 -0800

teach -t commands to optionally print only the final command