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