web/94: Do not update the "last modified" dates when there are no actual changes

Sat Aug 25 23:45:00 GMT 2001

Synopsis: Do not update the "last modified" dates when there are no actual changes

State-Changed-From-To: analyzed->closed
State-Changed-By: gerald
State-Changed-When: Sat Aug 25 23:45:13 2001
State-Changed-Why:
    Fix installed 2001-08-24. Seems to work as expected.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=94&database=gcc