Skip to content

Conversation

@marktsuchida
Copy link
Member

@marktsuchida marktsuchida commented Nov 23, 2025

In addition to fixing .gitignore, update the justfile so that it removes everything including the .wraplock.

Also rename the clean target to zap, and add a new clean that does what a conventional clean does: just remove the build artifacts without deleting the configuration and other build setup.

Rename the 'clean' target to 'zap', and add a new 'clean' that does what
a conventional 'clean' does: just remove the build artifacts without
deleting the configuration and other build setup.
@marktsuchida marktsuchida merged commit 38ccea0 into micro-manager:main Dec 8, 2025
10 checks passed
@marktsuchida marktsuchida deleted the gitignore-wraplock branch December 8, 2025 20:45
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.

1 participant