Commit 75d8d67
committed
update configure
1 parent 783700d commit 75d8d67
1 file changed
Lines changed: 6 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
1 parent 783700d commit 75d8d67
1 file changed
0 commit comments