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 67389c39fb For now, don't allow changing repo path (ref #549)

2014-08-31 13:05:08 +02:00

44 KiB

Raw Blame History

View Raw