On Mon, 28 Nov 2011 19:26:23 +0200, Timon Gehr <timon.gehr at gmx.ch> wrote: > Nobody stops you from hand crafting *.di files. My point exactly.