log TOOLS/midentify.sh @ 35077:c9d302e5e4be

age author description
Sat, 11 Feb 2012 17:21:14 +0000 reimar Optimize midentify script to not wasted time filling the cache.
Mon, 07 Jul 2008 09:30:22 +0000 diego Give all shell scripts a .sh suffix for consistency.