mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-06-21 16:44:50 +00:00
6680dd14ef
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.