Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Repository
7a93e1b5e5e4ae279852047ed9c1041bc006f3db
Switch branch/tag
lutin
_oasis
Find file
Blame
History
Permalink
Patch polka to define IID_IUnknown, which is needed for using dllcamlidl.so
· 7a93e1b5
erwan
authored
Dec 13, 2017
I used to patch camlidl and put it in my local opam repo, by that was a terrible idea.
7a93e1b5