Mentions légales du service

Tags

Tags give the ability to mark specific points in history as being important

3.16-v1

f5a9fdcb · Merge branch 'develop' into 'master' · Jan 25, 2021

Release: gitlabpages
3.16-v0

49fd97ed · Tapenade UserDoc 3.16 · Oct 08, 2020
```
Tapenade 3.16
```
3.15-v2

608eb1aa · crontab depuis srv-ecuador.inria.fr pour mettre a jour le site · Aug 03, 2020
```
User doc + tag
```