merchant: master 82cd7c10

Author Committer Branch Timestamp Parent
Christian Grothoff Christian Grothoff master 2016-11-11 15:14 master 74fc84ce
Changeset update manual
mod - doc/manual.texi Diff File