Skip to content

Object editing file improvements

vaclav requested 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