Commit 5081c3a1 authored by Committed by Damien Lespiau
With non-ancient libtool (>= 2.2) there is no longer a significant speed difference. The version of dolt that was included was anyway a NOP on architectures where build speed matters much (e.g. ARM).
Showing with 0 additions and 185 deletions