Preventing shell history pollution (#478)

This commit is contained in:
chabou 2016-07-28 19:44:50 +02:00 committed by Guillermo Rauch
parent 8874feff76
commit b3dec55f29