martin-leuner/alcove — pull request #6 by fingolfin (2014-01-04 14:52:57+00:00)
Title: Autodoc updates

This PR removes some obsolete files. It also makes sure the VERSION file stays up-to-date. Perhaps you don't want the latter, though -- in that case, let me know, and I can replace the last commit by one that simply removes the VERSION file. (Or you cherry pick just the first commit and do the latter yourself).