]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination
authorMark Thom <[email protected]>
Mon, 27 May 2024 18:07:27 +0000 (12:07 -0600)
committerGitHub <[email protected]>
Mon, 27 May 2024 18:07:27 +0000 (12:07 -0600)
Fix warnings of dead code


Trivial merge