2005-10-14 jrandom

* More explicit filter for linux/PPC building (thanks anon!)
2005-10-14 15:05:26 +00:00
parent 20ea680ff0
commit 918d8f851f
2 changed files with 7 additions and 1 deletions
--- 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