From: Mark Thom Date: Mon, 13 Apr 2020 14:17:08 +0000 (-0300) Subject: Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings X-Git-Tag: v0.8.123~168 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=378e9b553961e7e74fcebda89d6732e1f414beb8;p=scryer-prolog.git Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings use partial strings for passing argv to toplevel.pl --- 378e9b553961e7e74fcebda89d6732e1f414beb8