r38: renamed filter definitions
authorKevin M. Rosenberg <kevin@rosenberg.net>
Thu, 4 May 2000 18:16:34 +0000 (18:16 +0000)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Thu, 4 May 2000 18:16:34 +0000 (18:16 +0000)

No differences found