Closed gerhardgoldbeck closed 2 years ago
The page https://emmo-repo.github.io/ which is linked from https://github.com/emmo-repo/EMMO still has the old EMMO name (and a typo).
Fixed in commit a897db and 245eff
The page https://emmo-repo.github.io/ which is linked from https://github.com/emmo-repo/EMMO still has the old EMMO name (and a typo).