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 2e1c33206f Fix discosrv build, build as part of all (fixes #257)

2014-05-22 08:46:19 +02:00

..

discosrv

Fix discosrv build, build as part of all (fixes #257)

2014-05-22 08:46:19 +02:00