Skip to content
GitLab

Remove outdated INSTALL, point to online resources.

Merged Christoph Grüninger requested to merge feature/remove-INSTALL into master

There is no point in keeping one more outdated installation guide.