tree 6460608c2a8804e8ccafcd6e83b1f4205f22a347
parent ed8ff3059cf5ddc8506d3771bf1fd4def20fe31c
author hsyed <h.a.syed@gmail.com> 1530723441 +0100
committer Hassan Syed <h.a.syed@gmail.com> 1530723946 +0100

regenerate the documentation and remove deprecated startup option removals