[PR #148] [CLOSED] Minor SelectPkg(TheIde) polishing #188

Closed
opened 2026-05-05 03:42:32 -06:00 by gitea-mirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/ultimatepp/ultimatepp/pull/148
Author: @M0untacir
Created: 2/17/2023
Status: Closed

Base: masterHead: Select_package


📝 Commits (1)

  • 1c49a46 Minor SelectPkg polishing

📊 Changes

2 files changed (+4 additions, -4 deletions)

View changed files

📝 uppsrc/ide/SelectPkg.cpp (+2 -2)
📝 uppsrc/ide/ide.lay (+2 -2)

📄 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/ultimatepp/ultimatepp/pull/148 **Author:** [@M0untacir](https://github.com/M0untacir) **Created:** 2/17/2023 **Status:** ❌ Closed **Base:** `master` ← **Head:** `Select_package` --- ### 📝 Commits (1) - [`1c49a46`](https://github.com/ultimatepp/ultimatepp/commit/1c49a461c6740ea6cbc91b3ee1ed993d81dc7981) Minor SelectPkg polishing ### 📊 Changes **2 files changed** (+4 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `uppsrc/ide/SelectPkg.cpp` (+2 -2) 📝 `uppsrc/ide/ide.lay` (+2 -2) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
gitea-mirror 2026-05-05 03:42:32 -06:00
Sign in to join this conversation.
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/ultimatepp#188
No description provided.