Skip to content

Object editing file improvements

vaclavrequested to merge
1217-object-edit-file-impr into 1217-object-edit-file-interface-and-test-cases

Suggested formal improvements to !1917 (merged).

Merge request reports