Skip to content
This repository was archived by the owner on Nov 9, 2025. It is now read-only.

Fix .gitignore #12

Merged
bors merged 1 commit into from
Aug 24, 2020
Merged

Fix .gitignore #12

bors merged 1 commit into from
Aug 24, 2020

Conversation

@matklad
Copy link
Contributor

@matklad matklad commented Aug 24, 2020

bors r+
🤖

bors bot added a commit that referenced this pull request Aug 24, 2020
@bors @matklad
Merge #12
ebe2f31 
12: Fix .gitignore
 r=matklad a=matklad

bors r+
🤖

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
@bors
Copy link
Contributor

bors bot commented Aug 24, 2020

Canceled.

@matklad
Copy link
Contributor Author

matklad commented Aug 24, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Aug 24, 2020

Build succeeded:

@bors bors bot merged commit 6cb8e68 into master Aug 24, 2020
@bors bors bot deleted the ignore branch August 24, 2020 21:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@matklad