Skip to content

Commit

Permalink
Push new configure file (necessary for CI tests)
Browse files Browse the repository at this point in the history
  • Loading branch information
@OlivierNicole
OlivierNicole committed Dec 6, 2022
1 parent 09944ca commit 70d2deb
Showing 1 changed file with 59 additions and 6 deletions.
65 changes: 59 additions & 6 deletions configure
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 70d2deb

Please sign in to comment.