-
Andreas Schwab authored
(GCPRO5_VAR, GCPRO6_VAR, UNGCPRO_VAR): Add whitespace to avoid matching a pp-number. Rename parameter var to var1.
e9b5f888
(GCPRO5_VAR, GCPRO6_VAR, UNGCPRO_VAR): Add whitespace to avoid matching a pp-number. Rename parameter var to var1.