Christopher Allan Webber 47f66be97c git clone from https instead of git:// because gitorious broke the latter

2015-03-19 20:38:07 -05:00

..

source

git clone from https instead of git:// because gitorious broke the latter

2015-03-19 20:38:07 -05:00

Makefile

Fix failing to build docs

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