Optionally show or hide removed parameters from the parameter
authorarjen <arjen>
Wed, 3 Dec 2003 08:03:28 +0000 (08:03 +0000)
committerarjen <arjen>
Wed, 3 Dec 2003 08:03:28 +0000 (08:03 +0000)
commit916d7eae9042fd1fdb2de660fca134aa127447bc
treebde4f28d45b3bebafec224ab874da21ffa591a00
parent41d8072ff06d79a9dfdac3f634ae2e95d20d1751
Optionally show or hide removed parameters from the parameter
comparison page.
src/web/parameter.php
src/web/parameter_compare.php