diff TOOLS/midentify.sh @ 28233:bfb8ccb245a9

#include the appropriate header instead of using local declarations.
author diego
date Mon, 05 Jan 2009 14:53:45 +0000
parents 305dc504c407
children 877e37095c2d
line wrap: on
line diff