updated gitignore

Authored by alexanderschmidt on Jul 15 2019, 12:41 PM.

Description

updated gitignore

Details

Committed
alexanderschmidtFeb 7 2020, 9:08 AM
Parents
R979:d57452c7b11e: vote
Branches
Unknown
Tags
Unknown