Use OPTIONS instead of @options when trying to generate the output filename.
[redact.git] / COPYING
2005-03-26 Tilman SauerbeckInitial commit.