Skip to content

Some little features - #173

Merged
pmbittner merged 6 commits into
developfrom
variant-generation
Oct 2, 2025
Merged

Some little features#173
pmbittner merged 6 commits into
developfrom
variant-generation

Conversation

@pmbittner

@pmbittnerpmbittner commented Sep 25, 2025

Copy link
Copy Markdown
Member

No description provided.

@pmbittner
pmbittner changed the base branch from main to developSeptember 25, 2025 08:50
ibbem
ibbem approved these changes Oct 1, 2025
View reviewed changes
Comment threadsrc/main/java/org/variantsync/diffdetective/variation/tree/view/relevance/Configure.java Outdated
Comment threadsrc/main/java/org/variantsync/diffdetective/variation/diff/VariationDiff.java Outdated
@pmbittner
pmbittnerforce-pushed the variant-generation branch 2 times, most recently from 20f6d9b to 65e3f90CompareOctober 2, 2025 13:34
@pmbittnerpmbittner self-assigned this Oct 2, 2025
@pmbittnerpmbittner added enhancement New feature or request minor labels Oct 2, 2025
@pmbittner
pmbittner merged commit 2762ab9 into developOct 2, 2025
2 checks passed
@pmbittnerpmbittner mentioned this pull request Nov 3, 2025
Merged
2 tasks
@pmbittner
pmbittner deleted the variant-generation branch November 3, 2025 09:50
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@ibbemibbemibbem approved these changes

Assignees

@pmbittnerpmbittner

Labels

enhancementNew feature or requestminor

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@pmbittner@ibbem