fix
authorChristian Grothoff <christian@grothoff.org>
Thu, 29 Jul 2010 10:47:36 +0000 (10:47 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 29 Jul 2010 10:47:36 +0000 (10:47 +0000)
commit99d05b90185127cbca6223d1f171a6731e80bdb4
tree82ce1513ee89352c1eeb32427098b84da697c825
parent524e09efd4fd8792727f12486a88d1549a5d8d12
fix
contrib/report.sh