Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add header file #12

Closed

Conversation

marcomontevechi1
Copy link

A small change that shouldn't change functionality. Meant to make easir to make curl as an option defined in compilation time according to this discussion.

I made a quick test just to make sure it didn't break anything and seems fine here.

Any suggestion is welcome :)

marcofilho added 2 commits August 4, 2024 22:28
Also change the DRIVER_MODIFICATION number even though I'm not sure if
this should be done since this shouldn't change anything in the driver
per se.
@marcomontevechi1
Copy link
Author

Closing this since this is already done in #13

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant