bootandy/archived-dust
1
0
Fork 0
mirror of https://github.com/bootandy/dust.git synced 2026-06-08 11:29:05 +03:00
Code Issues 21 Packages Projects Releases 10 Wiki Activity

[PR #19] [MERGED] wip: code to remove duplicate arguments #257

New Issue
Closed
opened 2026-06-08 11:26:30 +03:00 by zhus · 0 comments
zhus commented 2026-06-08 11:26:30 +03:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/19
Author: @bootandy
Created: 5/9/2018
Status: ✅ Merged
Merged: 5/9/2018
Merged by: @bootandy

Base: master ← Head: rm_dup_input

📝 Commits (3)

  • dd75ec4 wip: code to remove duplicate arguments
  • ce0e14b Tweak output - the root node now has a: ─┬
  • 5156199 Break up display_node function slightly

📊 Changes

4 files changed (+151 additions, -71 deletions)

View changed files

📝 src/display.rs (+44 -26)
📝 src/main.rs (+4 -3)
📝 src/tests.rs (+36 -28)
📝 src/utils/mod.rs (+67 -14)

📄 Description

Also handle case where an argument is a substring of another argument

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/bootandy/dust/pull/19 **Author:** [@bootandy](https://github.com/bootandy) **Created:** 5/9/2018 **Status:** ✅ Merged **Merged:** 5/9/2018 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `rm_dup_input` --- ### 📝 Commits (3) - [`dd75ec4`](https://github.com/bootandy/dust/commit/dd75ec4aa783a32937087e8d188a554d0512fec6) wip: code to remove duplicate arguments - [`ce0e14b`](https://github.com/bootandy/dust/commit/ce0e14bf00276cabb5af7ca1f0b082cb4c01e849) Tweak output - the root node now has a: ─┬ - [`5156199`](https://github.com/bootandy/dust/commit/51561994c588f74890f04ec056fdedb8ba4c6cc5) Break up display_node function slightly ### 📊 Changes **4 files changed** (+151 additions, -71 deletions) <details> <summary>View changed files</summary> 📝 `src/display.rs` (+44 -26) 📝 `src/main.rs` (+4 -3) 📝 `src/tests.rs` (+36 -28) 📝 `src/utils/mod.rs` (+67 -14) </details> ### 📄 Description Also handle case where an argument is a substring of another argument --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
zhus added the pull-request label 2026-06-08 11:26:30 +03:00
zhus closed this issue 2026-06-08 11:26:33 +03:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
good first issue
help wanted
pull-request
Mirrored from GitHub Pull Request
 windows help wanted
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
zhus (Sergey Zhukov)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: bootandy/archived-dust#257
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?