# HG changeset patch # User nico # Date 1181199821 -7200 # Node ID 1df3055de5475f26520f183d5f4e649da1841586 # Parent 945b5eacc7333f99f31680925fe810bf9b4db2b9 Manual and Documentation finish diff -r 945b5eacc733 -r 1df3055de547 doc/manual/en/manual.pdf Binary file doc/manual/en/manual.pdf has changed diff -r 945b5eacc733 -r 1df3055de547 objdictgen/doc/manual_en.pdf Binary file objdictgen/doc/manual_en.pdf has changed