LICENSE · master · LECHENET Jean-Christophe / menhir · GitLab

Mentions légales du service

La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

Mise à jour GitLab terminée. Nous sommes désormais en version 17.7.0 : https://about.gitlab.com/releases/2024/12/19/gitlab-17-7-released/

Dec 07, 2022
91953cbc
Update LICENSE to clarify the status of the SDK. · 91953cbc
POTTIER Francois authored Dec 07, 2022
```
The SDK is treated like the RUNTIME LIBRARY.
```
91953cbc
Update LICENSE to clarify the status of the SDK.
POTTIER Francois authored Dec 07, 2022
```
The SDK is treated like the RUNTIME LIBRARY.
```

This project is licensed under the GNU Library General Public License v2 only. Learn more