This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg 5761efdb73 Remove system/editor specific ignores (ref #1778)

2015-05-08 20:34:06 +02:00

176 B

Raw Blame History

View Raw