Skip to content

.gitignore: Readd /tmp/#63429

Merged
bors merged 3 commits into
masterfrom
gitignore-readd-tmp
Aug 10, 2019
Merged

.gitignore: Readd /tmp/#63429
bors merged 3 commits into
masterfrom
gitignore-readd-tmp

.gitignore: Explain why `/obj/` is ignored

83b837a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs