tree 919ce01bd77570b4bb803840d46ecc7611772e17
parent 0c94724cc77a004973fb0105417c084234c2da73
author Jack Jansen <jack.jansen@cwi.nl> 980115793 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 980115793 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4018947

Don't generate project if the XML file already exists and is identical to what we've generated. Overridable with a "force" argument to mkproject().