Rename argc/argv `main` to `__main_argc_argv`#134

Merged

sunfishcode merged 3 commits intomasterfrom rename-main

Feb 27, 2020

+43

Commits on Nov 25, 2019

Commits on Nov 26, 2019

Reword and expand on the proposal.
sunfishcode
committed