Removed parameters are displayed in a shaded style.
authorarjen <arjen>
Tue, 15 Jul 2003 11:06:45 +0000 (11:06 +0000)
committerarjen <arjen>
Tue, 15 Jul 2003 11:06:45 +0000 (11:06 +0000)
commit947c1b932a42ef613fba77dc7f249a9234797e87
tree40d33ed6ad205e8e806521978343ca93397d5f0d
parent6d054c919f3977fc309f0bf830344a8d81ad4948
Removed parameters are displayed in a shaded style.
src/web/gnucomo.css
src/web/parameter.php
src/web/parameter_compare.php