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