Closed baseballlover723 closed 3 years ago
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.
This is a good change but can you please add it to the README and Module Docs in the appropriate places?
@jeremyjh updated
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.