Applique la couleur grise aux dépôts archivés dans la liste de dépôts étoilés de l'utilisateur
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool