Skip to content

Feature/#372 make extracted functions non-free functions

Jan Delember requested to merge feature/#372_Make_extracted_functions_non-free_functions into develop

closes #372

Review: @sebastianfreitag, @jwendt, @ademiralp

Edited by Jan Delember

Merge request reports