v0.4.14
matthias.putz@esrlabs.com
2073342d
·
Fix: replacing shutils.rmtree with portable rmtree due to problem #34
·
Jun 15, 2016
Unverified
adding pull requests for force in push command and fixing shutil.rmtree problem
