comparison TOOLS/checktree.sh @ 29970:5733a5cd1339

configure also generates all main.xml files.
author diego
date Sun, 13 Dec 2009 23:54:46 +0000
parents abd0a4e9daa0
children 92d75e703bc0
comparison
equal deleted inserted replaced
29969:01e66f959361 29970:5733a5cd1339