Skip to content
This repository has been archived by the owner on Jul 10, 2023. It is now read-only.

Remove legacy items from .gitignore #148

Merged
merged 1 commit into from
Dec 12, 2016

Conversation

upsuper
Copy link
Contributor

@upsuper upsuper commented Dec 12, 2016

The items being removed were added in da80902 for temporary files generated by make. But the Makefile is later removed in #36, and thus these items are no longer needed.


This change is Reviewable

@emilio
Copy link
Member

emilio commented Dec 12, 2016

@bors-servo r+

@bors-servo
Copy link

📌 Commit 078eb35 has been approved by emilio

bors-servo pushed a commit that referenced this pull request Dec 12, 2016
Remove legacy items from .gitignore

The items being removed were added in da80902 for temporary files generated by `make`. But the Makefile is later removed in #36, and thus these items are no longer needed.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/cocoa-rs/148)
<!-- Reviewable:end -->
@bors-servo
Copy link

⌛ Testing commit 078eb35 with merge df11054...

@bors-servo
Copy link

☀️ Test successful - status-travis

@bors-servo bors-servo merged commit 078eb35 into servo:master Dec 12, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants