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.

Sign up for GitHub

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

Jump to bottom

Add mill-daemon to third party plugins documentation #2995

Merged

lefou merged 3 commits into com-lihaoyi:main from swaldman:add-third-party-mill-daemon

Jan 29, 2024

Contributor

swaldman commented Jan 29, 2024

Does this seem reasonable? Thank you!

swaldman added 3 commits

January 29, 2024 17:46


          Add mill-daemon to third party plugins.

f264c1a


          Don't code-format filenames, it renders ugly.

85ff45e


          Use full (example) paths for filenames, hopefully it's clearer.

f577e1f

lefou approved these changes

View reviewed changes

Member

lefou left a comment

Thank you! Nice to see Mill used in less typical development scenarios.

lefou merged commit 3036bd2 into com-lihaoyi:main

38 checks passed

lefou added this to the 0.11.7 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet