diff TOOLS/aconvert @ 26552:806697d15e5c

Mark phony checkheaders target as such.
author diego
date Mon, 28 Apr 2008 17:57:44 +0000
parents 86d341ecb3bc
children 37feaaf7b7b4
line wrap: on
line diff