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.
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.