Category:Extensions in GitHub version control/it
 | Administrators, please do not delete this category! Amministratori, non cancellate questa categoria, per favore! This category is automatically populated by {{GithubDownload}} and so should not be deleted even if empty. |
These extensions are checked in to GitHub's software repository.