tree eeeaf7cc4fa11c69a65576efd7d1c0709368bcd9
parent 3a8368ef045f82fc993602f7bfcced1f302cfaaf
author Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483000125 +0100
committer Dirk Ziegelmeier <dirk@ziegelmeier.net> 1483000125 +0100

Minor documentation update in def.c