We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
For example:
lib/libgecodeset.so lib/libgecodeset.so.%%SHLIB_VERSION%% lib/libgecodeset.so.%%SHLIB_VERSION%%.0 lib/libgecodesupport.so lib/libgecodesupport.so.%%SHLIB_VERSION%% lib/libgecodesupport.so.%%SHLIB_VERSION%%.0
became
lib/libgecodeset.so lib/libgecodesupport.so
The text was updated successfully, but these errors were encountered:
@guidotack: can you have a look?
Sorry, something went wrong.
No branches or pull requests
For example:
became
The text was updated successfully, but these errors were encountered: