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