-
Vincent Le gallic authored
Le côté serveur viendra dans un prochain commit. C'était pour make rename et make rerename qu'il était nettement plus pratique d'avoir des guillemets simples.
2a2c405d
Software Heritage, une initiative non-lucrative de l'INRIA, clonera et archivera tous les dépôts en visibilité publique sur ce gitlab. Si vous ne souhaitez pas que cela arrive, vous pouvez modifier la visibilité de vos dépôts en allant dans Settings -> General -> Visibility, project features, permissions -> Project visibility. Pour plus d'informations sur l'initiative, vous pouvez vous rendre à la page https://www.softwareheritage.org/.
Le côté serveur viendra dans un prochain commit. C'était pour make rename et make rerename qu'il était nettement plus pratique d'avoir des guillemets simples.