Boris Bobrov 4fd98b70d2 change git address to savannah's git

2015-04-17 16:56:18 -05:00

..

source

change git address to savannah's git

2015-04-17 16:56:18 -05:00

Makefile

Fix failing to build docs

2013-08-28 11:11:41 -05:00