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

Added a configuration option to specify the path of the project plt file #421

Merged
merged 4 commits into from
Dec 23, 2020

Conversation

baseballlover723
Copy link
Contributor

This is helpful if you want to move the dialyxir plt files into their own directory (in my case, this is helpful for running dialyxir inside of docker with caching), but don't want to mess with the naming of the plt files.

@baseballlover723 baseballlover723 force-pushed the master branch 3 times, most recently from 1c5ebb0 to 5bed423 Compare December 23, 2020 03:21

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
@jeremyjh
Copy link
Owner

This is a good change but can you please add it to the README and Module Docs in the appropriate places?

@baseballlover723
Copy link
Contributor Author

@jeremyjh updated

@jeremyjh jeremyjh merged commit 8c1707f into jeremyjh:master Dec 23, 2020
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.

None yet

2 participants