Skip to content

.gitignore: Don't ignore a file that exists in the repository#67344

Merged
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:no-gitignore-of-committed-files
Dec 16, 2019
Merged

.gitignore: Don't ignore a file that exists in the repository#67344
bors merged 1 commit intorust-lang:masterfrom
joshtriplett:no-gitignore-of-committed-files

Commits

Commits on Dec 16, 2019