Changeset 790ab12 for scripts

Timestamp:
May 4, 2009, 3:23:59 PM (15 years ago)
Author:
Nelson Elhage <nelhage@mit.edu>
Branches:
master, release-1.10, release-1.4, release-1.5, release-1.6, release-1.7, release-1.8, release-1.9
Children:
adee9cc
Parents:
de9edab
Message:
Fix the usage line for punt/unpunt

punt and unpunt take the text of a filter, not the name of a
filter. (Arguably there should be a way to do either, but as long as this
is the behavior, we should at least document it correctly).
(No files)

Note: See TracChangeset for help on using the changeset viewer.