# HG changeset patch
# User Peter Meerwald <pmeerw@cosy.sbg.ac.at>
# Date 1187119247 -7200
# Node ID f8f572f26fef0a8e2ca5659014d3bc980201baf6
# Parent  8191b855cd5eddc4fc5dc0a00f47d66945f3ce81
check in make.config symlinked to make.linux

diff -r 8191b855cd5e -r f8f572f26fef make/make.config
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make/make.config	Tue Aug 14 21:20:47 2007 +0200
@@ -0,0 +1,1 @@
+make.linux
\ No newline at end of file