# HG changeset patch # User heinrichsweikamp # Date 1425548216 -3600 # Node ID f345a55c92e076dbe37661236632b56fcecd74be # Parent 416723c8ccd8186d0cb964093bb2d8a2fde783c9 minor docu update diff -r 416723c8ccd8 -r f345a55c92e0 doc/ostc3_interface.odt Binary file doc/ostc3_interface.odt has changed