improved script
authorChristian Grothoff <christian@grothoff.org>
Mon, 29 Aug 2011 10:24:13 +0000 (10:24 +0000)
committerChristian Grothoff <christian@grothoff.org>
Mon, 29 Aug 2011 10:24:13 +0000 (10:24 +0000)
commit8f4d186f4619c9b17ef4fb2e83398dd18c3ae24c
tree6901070f26f20199b473af026a282261d8323c7b
parentcddbdf5b928c68ab71b40c950b9f01ea68a9fbdb
improved script
pre-commit