mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-11-08 17:51:42 +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.