5 Commits

Author	SHA1	Message	Date
Christian Grothoff	aa89db4d0a	organize #include, remove redundant includes	2015-05-16 20:33:01 +02:00
Christian Grothoff	708b463580	more doxygen fixes	2015-03-28 15:53:53 +01:00
Christian Grothoff	eca4f1a8fe	-doxygen fixes	2015-03-28 15:42:07 +01:00
Christian Grothoff	44b894ebe1	more rename-fest work	2015-03-28 12:29:35 +01:00
Christian Grothoff	c626ccac51	second round of renamefest	2015-03-28 11:06:00 +01:00