# HG changeset patch # User heinrichsweikamp # Date 1590521227 0 # Node ID 0f5080f50ba7b32fe52932ac09263f071c2726e4 # Parent 230aed360da00ab0acf55049dc8fbdf7b575cbb1# Parent 3db9eba89e3ce8b705ac3f29667010742353c944 Merged in Ideenmodellierer/ostc4/FixLayout_Header_LogView (pull request #46) FixLayout Header LogView