-
Andrei Paskevich authoredFor the previous behaviour (no import), write "use/clone T as T". This shortens the most used "use/clone import" to simply "use/clone".
7b0929a7
Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.
For the previous behaviour (no import), write "use/clone T as T". This shortens the most used "use/clone import" to simply "use/clone".