Rename `QUIT_GAP`, `FORCE_QUIT_GAP` and `GAP_EXIT_CODE` to `QuitGap`, `ForceQuitGap` and `GapExitCode` (the old names remain available as synonyms)#3862

Merged

fingolfin merged 2 commits intogap-system:masterfrom ChrisJefferson:quit_gap

May 28, 2020

+157-119

Commits on May 28, 2020

Make CamelCase versions of GapExitCode, QuitGap and ForceQuitGap

ChrisJefferson
authored and
fingolfin
committed
Slightly improve documentation

ChrisJefferson
authored and
fingolfin
committed