dist.ini: remove [Repository] plugin from list.
This conflict with the GitHubMeta plugin (which I unilaterally decided was somehow "better" for this repository)master
parent
7cbb3dcec9
commit
da0a188af2