Update .gitignore
authorPietro Cerutti <gahr@gahr.ch>
Wed, 25 Apr 2018 14:13:27 +0000 (14:13 +0000)
committerPietro Cerutti <gahr@gahr.ch>
Wed, 25 Apr 2018 14:13:27 +0000 (14:13 +0000)
commitb583e9f95487299c8739a8322d61cfeb5976e21d
treea14e89cc18604ec46c6517fd05af8f640fcc6aff
parente215b591fedbe2cede32f8be97166b4b34d33373
Update .gitignore
.gitignore