Colorize the SUBSTITUTION SECTION
of the CONTROL DIVISION
(GCOS)#382
Merged
nberth merged 1 commit intoOCamlPro:masterfrom nberth:colorize-substitution-sectionDec 18, 2024
+11-4
SUBSTITUTION SECTION
of the CONTROL DIVISION
(GCOS)#382