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 0c4e6ae7de Safety: don't start if repo dir is missing (ref #154)

2014-04-24 10:27:43 +02:00

15 KiB

Raw Blame History

View Raw