Skip to content

Fix missing headers install

Add missing header in installation detected by the new test in !2064 (merged)

Draft mode until decision done on the 4 more complicated cases (no source dict, name collision, algo folder, externals)

Redmine: Refs #3582

Merge request reports

Loading