plugin Management Ġ{ ĊĠĠĠ Ġrepositories Ġ{ ĊĠĠĠĠĠĠĠ Ġmaven Ġ{ Ġset Url (" https :// cache - redirect or . jetbrains . com / plugins . gradle . org ") Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ root Project . name Ġ= Ġ" r ider - f sharp " Ċ Ċ include (" protocol ")