Update manual
commitc5fe3970dde62a0398945c6a9c77859e5af42dc7
authorRob van Son <r.j.j.h.vanson@gmail.com>
Thu, 16 May 2013 12:57:41 +0000 (16 14:57 +0200)
committerRob van Son <r.j.j.h.vanson@gmail.com>
Thu, 16 May 2013 12:57:41 +0000 (16 14:57 +0200)
tree384cf4b9aa6fa2b541571be3d8bdef44237dd3ef
parent6f45cb953c8c57d0f0ddb9bb0c8d3d344136eee5
Update manual
Private/manual.html