diff TOOLS/checktree.sh @ 35946:ebc74746041d

configure: cosmetics: Move some config.h entries to more sensible places Also rename some related variables.
author diego
date Fri, 22 Mar 2013 15:37:40 +0000
parents 92d75e703bc0
children
line wrap: on
line diff