Patchtool: Difference between revisions
Jump to navigation
Jump to search
(Source folder PetraTools was renamed to BuildTools) |
(Replaced content with "we are not using patches anymore") Tag: Replaced |
||
Line 1: | Line 1: | ||
we are not using patches anymore | |||
Latest revision as of 04:58, 16 March 2023
we are not using patches anymore