Merge pull request #1117 from kmpoppe/patch-1
Add a new project to the list in README.md
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Jun 24 2020, 10:35 PM GitHub Committed on Jun 24 2020, 10:35 PM - Parents
- R123:adcf4ea2d26d: Update README.md
R123:6fa3a53351cb: Merge pull request #1115 from jacklul/custom_namespace_fixes - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes