Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
polka
polka_c.c
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