deleted docs/. makes no sense to have it in the repo. just create your own using the Makefile

This commit is contained in:
Johannes Findeisen 2013-06-21 03:02:20 +02:00
commit ad190f30e9

Diff content is not available