]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1967 from rujialiu/optional-features
authorMark Thom <[email protected]>
Mon, 21 Aug 2023 17:42:03 +0000 (11:42 -0600)
committerGitHub <[email protected]>
Mon, 21 Aug 2023 17:42:03 +0000 (11:42 -0600)
commit61f975ea18cf6a8670fc6fb75b88e527defb18eb
tree35ebff30a7d707bfce78a8fb73c21982ab83dd93
parent5aa1521819daf194774b701c4e88490f78aebe82
parent25d495021626455a8a04e59cf9619657190a3f01
Merge pull request #1967 from rujialiu/optional-features

Allow users to disable optional features