Replace strings left/right double quotation by '"'#124

quentin merged 1 commit intosouffle-lang:mastersouffle-lang/souffle-lang.github.io:masterfrom

mingodad:patch-1mingodad/souffle-lang.github.io:patch-1Copy head branch name to clipboard