# HG changeset patch # User heinrichsweikamp # Date 1425312309 -3600 # Node ID 613e42d4cdff8435655fd6b13d1e977f45043d60 # Parent 633c7a6de5bcb4d13a91f04159603e7e39d1a726 docu update diff -r 633c7a6de5bc -r 613e42d4cdff doc/ostc3_interface.odt Binary file doc/ostc3_interface.odt has changed