log TOOLS/midentify.sh @ 33670:3b3e2d2f68c3

age author description
Mon, 07 Jul 2008 09:30:22 +0000 diego Give all shell scripts a .sh suffix for consistency.