]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2088 from triska/morphing_propagators
authorMark Thom <[email protected]>
Sun, 8 Oct 2023 18:45:45 +0000 (12:45 -0600)
committerGitHub <[email protected]>
Sun, 8 Oct 2023 18:45:45 +0000 (12:45 -0600)
ENHANCED: Remove no longer needed morphed propagators.


Trivial merge