Skip to content

[Auditor] Remove libtool *.la files#1105

Merged
giordano merged 2 commits intoJuliaPackaging:masterfrom
fingolfin:mh/remove-libtool-la-files
Oct 21, 2021
Merged

[Auditor] Remove libtool *.la files#1105
giordano merged 2 commits intoJuliaPackaging:masterfrom
fingolfin:mh/remove-libtool-la-files

Commits

Commits on Oct 20, 2021

Commits on Oct 21, 2021