On Mon, 28 Nov 2011 19:26:23 +0200, Timon Gehr <[email protected]> wrote:

Nobody stops you from hand crafting *.di files.

My point exactly.

Reply via email to