Mentions légales du service
Skip to content
GitLab
Explore
Sign in
This project is archived. Its data is
read-only
.
20211215
POTTIER Francois
@fpottier
7c40f7f0
·
Fix .gitattributes so that *.opam is part of the .tar.gz archive.
·
Dec 15, 2021
Release 20211215.
