Merged bug fix from r1322.

adda-team · Feb 20, 2014 · 8e63f67 · 8e63f67
1 parent ced152b
commit 8e63f67
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/doc/manual.doc b/doc/manual.doc
diff --git a/doc/manual.pdf b/doc/manual.pdf