From: Mark Thom Date: Sun, 8 Oct 2023 18:45:45 +0000 (-0600) Subject: Merge pull request #2088 from triska/morphing_propagators X-Git-Tag: remove~44 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=6d37684e9c137b7f5a21a895879ba40da92bc221;p=scryer-prolog.git Merge pull request #2088 from triska/morphing_propagators ENHANCED: Remove no longer needed morphed propagators. --- 6d37684e9c137b7f5a21a895879ba40da92bc221