From ad190f30e941435f8ee05f0b88f37e9a51ae905a Mon Sep 17 00:00:00 2001 From: Johannes Findeisen Date: Fri, 21 Jun 2013 03:02:20 +0200 Subject: [PATCH] deleted docs/. makes no sense to have it in the repo. just create your own using the Makefile