]> Repositorios git - scryer-prolog.git/commit
Use new `double_quotes` write-option
authorNicolas Luck <[email protected]>
Mon, 7 Aug 2023 16:29:05 +0000 (18:29 +0200)
committerNicolas Luck <[email protected]>
Mon, 7 Aug 2023 16:29:05 +0000 (18:29 +0200)
commit579816a04fc0d06f441d731b2491de2ebaa381e1
tree830538026ea7218ffeaf056e3c5ab804b00fdfff
parentcc0487293348ad8dddf2da23c2e001c5b8a122d4
Use new `double_quotes` write-option
src/lib_toplevel.pl