enable a list of files seperated with blanks or commas and respecting…#1847

Merged

GillesDuvert merged 1 commit intognudatalanguage:masterfrom

GillesDuvert:close_issue_1846

Jul 3, 2024

Commits on Jul 3, 2024

enable a list of files seperated with blanks or commas and respecting simple or double quoted strings for .RUN and .COMPILE (bug #1846)
GillesDuvert
committed