Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add config.tmp to the git ingore list #341

Closed
vivekgalatage opened this issue Apr 8, 2013 · 0 comments
Closed

Add config.tmp to the git ingore list #341

vivekgalatage opened this issue Apr 8, 2013 · 0 comments

Comments

@vivekgalatage
Copy link
Contributor

@vivekgalatage vivekgalatage commented Apr 8, 2013

In case the ../configure script fails or the user cancels it, the temporary file config.tmp
generated is shown as "untracked file" when running "git status". 

Hence adding it to the ingore list in .gitignore file.

Patch follows.
@vivekgalatage vivekgalatage mentioned this issue Apr 8, 2013
Merged
@jdm jdm closed this in 8516a1d Apr 8, 2013
jdm added a commit that referenced this issue Apr 8, 2013
@jdm
Merge pull request #342 from vivekgalatage/master
74a9d61 
#341: Add config.tmp to the git ingore list
glennw pushed a commit to glennw/servo that referenced this issue Jan 16, 2017
@bors-servo
Auto merge of servo#341 - glennw:util, r=Ms2ger
d81fa20 
Parameterize the RectHelpers trait so it can be used with f32 / DevicePixels.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/webrender/341)
<!-- Reviewable:end -->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked pull requests

Successfully merging a pull request may close this issue.

#341: Add config.tmp to the git ingore list
1 participant
@vivekgalatage
You can’t perform that action at this time.