Skip to content

gitignore: add comment explaining policy#63373

Merged
bors merged 7 commits intorust-lang:masterfrom
RalfJung:gitignore
Aug 9, 2019

Commits

Commits on Aug 8, 2019