sebasguts/AutoDoc — pull request #7 by fingolfin (2013-08-06 11:31:32+00:00)
Title: Remove default entities list

For an explanation, see https://github.com/homalg-project/AutoDoc/issues/19