don't reload the whole page every time a config option is changed, RT#3989
authorivan <ivan>
Sun, 14 Sep 2008 20:20:41 +0000 (20:20 +0000)
committerivan <ivan>
Sun, 14 Sep 2008 20:20:41 +0000 (20:20 +0000)

No differences found