0b8bb37266
* Add an example that ignores CVS Id tags for the new DIFF_OPTIONS variable.
* Add an example that ignores CVS Id tags for the new DIFF_OPTIONS variable.