Manually edit parameters.
[gnucomo.git] / src / web / parameter.php
2007-01-11 arjenManually edit parameters.
2003-12-03 arjenOptionally show or hide removed parameters from the...
2003-08-14 arjenAdded performance measurement.
2003-07-15 arjenRemoved parameters are displayed in a shaded style.
2003-02-21 arjenDatabase optimizations.
2003-02-13 arjenAll web interface pages use the page class.
2003-02-05 arjenDisplay the difference of all package class parameters...
2002-12-06 arjenA slightly functional web interface (initial revision)