log Tools/scripts/rgrep.py @ 20883:6ee19c19b2c3 legacy-trunk

age author description
Wed, 12 Aug 1998 17:47:52 +0000 Guido van Rossum New tool: reverse grep (greps from the end). Uses a fairly efficient legacy-trunk