JNativeMerge merge requestshttps://gitlab.infosun.fim.uni-passau.de/seibt/JNativeMerge/-/merge_requests2019-03-27T14:29:55Zhttps://gitlab.infosun.fim.uni-passau.de/seibt/JNativeMerge/-/merge_requests/1Add marker_size to FileOptions2019-03-27T14:29:55ZOlaf Lessenichlessenic@fim.uni-passau.deAdd marker_size to FileOptions