]> gitweb.factorcode.org Git - factor.git/commitdiff
Merge pull request #2774 from factor/w4-warnings
authorRaghu R <raghuallthetime@hotmail.com>
Wed, 15 Mar 2023 05:24:22 +0000 (10:54 +0530)
committerGitHub <noreply@github.com>
Wed, 15 Mar 2023 05:24:22 +0000 (10:54 +0530)
correct nmakefile to remove /W4


Trivial merge