Skip to content

Add gitignore. Hide binaries from git bookkeeping.

Dirk HOFFMANN requested to merge cosmetics into master

Yet another formal detail, but cleaner.

Merge request reports