Merge pull request #2360 from kgaillot/terms
Clean up a few straggling references to old terminology
Description
Description
Details
Details
- Provenance
kgaillot Authored on Apr 27 2021, 4:30 PM GitHub <noreply@github.com> Committed on Apr 27 2021, 4:30 PM - Parents
- rP0a1921fbc056: Build: extra: remove showscores.sh
rPd993e8561a43: Merge pull request #2359 from clumens/new-messages - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes