http://d.puremagic.com/issues/show_bug.cgi?id=2523





------- Comment #2 from s...@invisibleduck.org  2008-12-18 13:41 -------
More generally, if a file has a ".di" extension then it shouldn't be compiled
regardless.


-- 

Reply via email to