Skip to content

Add .BOUT.pid.* files to .gitignore#1674

Merged
johnomotani merged 1 commit intonextfrom
gitignore-pid-files
Apr 10, 2019
Merged

Add .BOUT.pid.* files to .gitignore#1674
johnomotani merged 1 commit intonextfrom
gitignore-pid-files

Conversation

@johnomotani
Copy link
Contributor

There may be quite a few of these files around if the tests have been run, and they can be safely ignored.

@johnomotani johnomotani added the small-change Changes less than 100 lines - should be quick to review label Apr 10, 2019
@johnomotani johnomotani merged commit b766b75 into next Apr 10, 2019
@johnomotani johnomotani deleted the gitignore-pid-files branch April 10, 2019 15:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

small-change Changes less than 100 lines - should be quick to review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants