tree f1deab6d07bf371edc7773ad6c40737a38cc13df
parent 16df2aa57b32efa890d83f9c7f34c27d8c2cc742
author Jack Jansen <jack.jansen@cwi.nl> 793901947 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 793901947 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%404900

In interactive mode ask for output file