added 'save XML' option
authorLarry Peterson <llp@cs.princeton.edu>
Tue, 6 Jan 2009 22:11:35 +0000 (22:11 +0000)
committerLarry Peterson <llp@cs.princeton.edu>
Tue, 6 Jan 2009 22:11:35 +0000 (22:11 +0000)
commit59e00c6db6a02d849c216bf2c617ae831c4640c3
tree8302103d47493d107213f52f7c90047b6ca335f4
parentb06cb03b91ff525e0242bf88ae94f36d3604348d
added 'save XML' option
cmdline/sfi.py