Nuno Goncalves d58ddeb6b6 ntripserver: change source to github ... ntripserver developer agency http://igs.bkg.bund.de/ does not reliably provide a source mirror with version naming. Created a github repository to provide sources and allow contributions. Signed-off-by: Nuno Goncalves <nunojpg@gmail.com>		2015-07-13 02:28:20 +01:00
..
Makefile	ntripserver: change source to github	2015-07-13 02:28:20 +01:00