investigate differences in build, install, and uri when opam file differed
Mergedhannes merged 3 commits from
main2 years ago
Reference in New Issue
There is no content yet.
Delete Branch 'opam-diff'
Deleting a branch is permanent. It CANNOT be undone. Continue?
Looks very good to me! Thanks
9c326679bainto main 2 years ago
Step 1:From your project repository, check out a new branch and test the changes.
Step 2:Merge the changes and update on Gitea.