[PR #4650] [MERGED] Update building instructions #25872

Open
opened 2026-01-31 09:12:21 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/4650
Author: @yitzhaks
Created: 2/20/2020
Status: Merged
Merged: 2/20/2020
Merged by: @carlos-zamora

Base: masterHead: dev/yitzhaks/UpdateBuilding


📝 Commits (1)

  • 6652dbd Update building instructions

📊 Changes

1 file changed (+34 additions, -11 deletions)

View changed files

📝 doc/building.md (+34 -11)

📄 Description

I missed this part in readme.md, and got a bit confused by the instructions in building.md, so let's update them from the readme.


🔄 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/microsoft/terminal/pull/4650 **Author:** [@yitzhaks](https://github.com/yitzhaks) **Created:** 2/20/2020 **Status:** ✅ Merged **Merged:** 2/20/2020 **Merged by:** [@carlos-zamora](https://github.com/carlos-zamora) **Base:** `master` ← **Head:** `dev/yitzhaks/UpdateBuilding` --- ### 📝 Commits (1) - [`6652dbd`](https://github.com/microsoft/terminal/commit/6652dbd5fcb8fabc27dafd29b2820dc8ae5b63d8) Update building instructions ### 📊 Changes **1 file changed** (+34 additions, -11 deletions) <details> <summary>View changed files</summary> 📝 `doc/building.md` (+34 -11) </details> ### 📄 Description I missed this part in readme.md, and got a bit confused by the instructions in building.md, so let's update them from the readme. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:12:21 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#25872