mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-11-09 07:01:45 +00:00
Tweak the coverage script. Update the clean-workspaces script to be able to avoid rebuilding libraries. Differential Revision: https://code.wildfiregames.com/D2 This was SVN commit r19074.