[PR #20] [MERGED] Refactor #258

Closed
opened 2026-06-08 11:26:31 +03:00 by zhus · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/bootandy/dust/pull/20
Author: @bootandy
Created: 5/10/2018
Status: Merged
Merged: 5/10/2018
Merged by: @bootandy

Base: masterHead: refac


📝 Commits (1)

  • b1b933d Refactor & Optimize use of depth

📊 Changes

3 files changed (+51 additions, -37 deletions)

View changed files

📝 src/display.rs (+19 -18)
📝 src/main.rs (+6 -13)
📝 src/utils/mod.rs (+26 -6)

📄 Description

No description provided


🔄 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/20 **Author:** [@bootandy](https://github.com/bootandy) **Created:** 5/10/2018 **Status:** ✅ Merged **Merged:** 5/10/2018 **Merged by:** [@bootandy](https://github.com/bootandy) **Base:** `master` ← **Head:** `refac` --- ### 📝 Commits (1) - [`b1b933d`](https://github.com/bootandy/dust/commit/b1b933d851b3446cda4d90a41eb36e00d8889384) Refactor & Optimize use of depth ### 📊 Changes **3 files changed** (+51 additions, -37 deletions) <details> <summary>View changed files</summary> 📝 `src/display.rs` (+19 -18) 📝 `src/main.rs` (+6 -13) 📝 `src/utils/mod.rs` (+26 -6) </details> ### 📄 Description _No description provided_ --- <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:31 +03:00
zhus closed this issue 2026-06-08 11:26:31 +03:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: bootandy/archived-dust#258