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
d42b5b124342f5147acaefaa87bf0e00d8a7a0b8
d42b5b124342f5147acaefaa87bf0e00d8a7a0b8
Switch branch/tag
lutin
lutin
src
version.ml
Find file
Normal view
History
Permalink
version.ml
33 Bytes
Newer
Older
Define IID_IUnknown is lutinUtils rather than in polka
erwan
committed
Dec 13, 2017
1
2
let
str
=
"2.38"
let
sha
=
"7a93e1b"