Tomas Hruby ae75f9d4e5 Removal of the executable flag from files that cannot be executed ... - 755 -> 644		2009-11-09 10:26:00 +00:00
..
build
Makefile	Removal of the executable flag from files that cannot be executed	2009-11-09 10:26:00 +00:00
mined.h	Removal of the executable flag from files that cannot be executed	2009-11-09 10:26:00 +00:00
mined1.c	Removal of the executable flag from files that cannot be executed	2009-11-09 10:26:00 +00:00
mined2.c	Removal of the executable flag from files that cannot be executed	2009-11-09 10:26:00 +00:00