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

Dev script #108

Closed
wants to merge 15 commits into from
Closed

Dev script #108

wants to merge 15 commits into from

Conversation

aminya
Copy link
Contributor

@aminya aminya commented Jun 24, 2020

This is a script for my personal use, so I can dev SnoopCompile easily.

@timholy
Copy link
Owner

timholy commented Jun 24, 2020

Can you just keep that script on your own hard drive?

@aminya
Copy link
Contributor Author

aminya commented Jun 24, 2020

Can you just keep that script on your own hard drive?

That is possible. We can also add a CONTRIBUTING.md and mention it there.

@aminya
Copy link
Contributor Author

aminya commented Jun 24, 2020

I hope this dev.jl gets baked into Pkg itself. 🙏

timholy and others added 3 commits June 24, 2020 16:05
Co-Authored-By: Kristoffer Carlsson <kcarlsson89@gmail.com>
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.

2 participants