Skip to content
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

Remove a stray file #12697

Merged
merged 1 commit into from
Nov 21, 2019
Merged

Remove a stray file #12697

merged 1 commit into from
Nov 21, 2019

Conversation

Jjp137
Copy link
Contributor

@Jjp137 Jjp137 commented Nov 21, 2019

This file was added in 0496a66 and is most likely a scratchpad (hence the filename?) that was added on accident. There's nothing in it...

@Araq Araq merged commit 1b2c1bc into nim-lang:devel Nov 21, 2019
@krux02
Copy link
Contributor

krux02 commented Nov 21, 2019

Yes this was add as a scratchpad. Sorry for that. It was overlooked in the review process.

@Jjp137 Jjp137 deleted the jjp-stray-file branch November 21, 2019 17:57
alehander92 pushed a commit to alehander92/Nim that referenced this pull request Dec 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants