../ industri-1.01-exec-stack.patch 02-Jul-2007 17:28 642 industri-1.01-glext.patch 29-Apr-2011 10:50 983 industri-1.01-ldflags.patch 13-Oct-2010 09:53 840 industri.pretty 30-Oct-2003 07:27 42