diff TOOLS/midentify.sh @ 27909:1c5d7d467bfd

Fix build: Remove some references to sections that no longer exist.
author diego
date Sun, 16 Nov 2008 23:59:47 +0000
parents 305dc504c407
children 877e37095c2d
line wrap: on
line diff