upgrade documentation-properties to fix wrongly written backslashes in... (!39) · Merge requests · Engineering / build

marcus.klein requested to merge fix-docu-props into master Sep 23, 2020

upgrade documentation-properties to fix wrongly written backslashes in documentation properties files

upgrade documentation-properties to fix wrongly written backslashes in...