macos

2020-09-05 Setting up environment to play Chinese MUD on MacOS (with Tintin++)