Merge pull request #327 from srenatus/sr/pass-argv-as-partial-strings

author Mark Thom <[email protected]>

Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)

committer GitHub <[email protected]>

Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)
author Mark Thom <[email protected]>
Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)
committer GitHub <[email protected]>
Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)
diff --cc src/prolog/machine/mod.rs
Simple merge
diff --cc src/prolog/toplevel.pl
Simple merge
author	Mark Thom <[email protected]>
	Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)
committer	GitHub <[email protected]>
	Mon, 13 Apr 2020 14:17:08 +0000 (11:17 -0300)
		1	2
src/prolog/machine/mod.rs	patch \|	diff1 \|	diff2 \|	blob \| history
src/prolog/toplevel.pl	patch \|	diff1 \|	diff2 \|	blob \| history