]> git.pond.sub.org Git - empserver/commit
Belatedly remove DEMANDUPDATE from info Options
authorMarkus Armbruster <armbru@pond.sub.org>
Tue, 16 Sep 2008 23:14:41 +0000 (19:14 -0400)
committerMarkus Armbruster <armbru@pond.sub.org>
Tue, 16 Sep 2008 23:14:41 +0000 (19:14 -0400)
commit5820e12504a33015cfb001ae96851e2b75ec90b3
tree4061e5786c456715699b389f73fb18355ebbd5f2
parent3e15a8e2261f81f656d7ef4a8400d41f38a850b9
Belatedly remove DEMANDUPDATE from info Options

Option gone since commit 6ca5e47f, v4.3.10.
info/Options.t