Rename and reorganise - Githubissues

lnay / metric-spaces-and-topology-game

MIT License

2 stars 1 forks source link

Rename and reorganise #2

Closed lnay closed 5 months ago

lnay commented 5 months ago

Fix inconsistency, and unsuitability of file+folder names

lnay commented 5 months ago

Sorted in 14288cd43f8697b1295bc566adae6c949f0138a7