]> git.pond.sub.org Git - empserver/commit
info/Options: Belatedly remove SAIL
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 21 Jun 2015 06:05:24 +0000 (08:05 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 5 Dec 2015 11:41:15 +0000 (12:41 +0100)
commitb1525ef272140309c82c0adb915efcff6e7d965b
treee06199f40e15314b6983e4b2ce720b6e054a8d7a
parent6986ac47784fe9c09c70df28d648e0b1ccc4a488
info/Options: Belatedly remove SAIL

Missed in commit dc73207.

Reported-by: Harald Katzer
Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
info/Options.t