diff Tools/scripts/rgrep.py @ 13163:a09e8635534d legacy-trunk

Don't try to guess the name of a .def file -- if one is supplied, use it, otherwise just generate an '/export:' option.
author Greg Ward <gward@python.net>
date Thu, 29 Jun 2000 23:09:20 +0000
parents 0398051f8ffa
children 8a7a2f1f88f0
line wrap: on
line diff