Diff! Rev: server/config_interface/diff.pike:1.1 Rev: server/etc/modules/Variable.pmod/module.pmod:1.60 Rev: server/modules/configuration/config_tags.pike:1.154