diff --git a/build.xml b/build.xml index ae6624ee7..5c2fff5a7 100644 --- a/build.xml +++ b/build.xml @@ -52,6 +52,9 @@ + + + diff --git a/history.txt b/history.txt index 3d21f6d56..12405c0d9 100644 --- a/history.txt +++ b/history.txt @@ -1,4 +1,7 @@ -$Id: history.txt,v 1.294 2005/10/13 21:15:40 jrandom Exp $ +$Id: history.txt,v 1.295 2005/10/14 08:48:05 jrandom Exp $ + +2005-10-14 jrandom + * More explicit filter for linux/PPC building (thanks anon!) * 2005-10-14 0.6.1.3 released