Chimrod e8b746742f Update the compilation rule for git hash inclusion 1 жил өмнө
..
dune e8b746742f Update the compilation rule for git hash inclusion 1 жил өмнө
git_head.sh b7964befd0 Added the git revision in the code 1 жил өмнө