Home | History | Annotate | Download | only in tools

Lines Matching refs:dump_name

1928 <title>Dump %(dump_name)s</title>
1940 <input type="hidden" name="dump" value="%(dump_name)s">
2141 "dump_name" : cgi.escape(self.dumpfilename) })