Fix/terminal links - Githubissues

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

http://theia-ide.org

Eclipse Public License 2.0

19.55k stars 2.46k forks source link

Closed AlexandraBuzila closed 1 month ago

AlexandraBuzila commented 1 month ago

[ ] As an author, I have thoroughly tested my changes and carefully followed the review guidelines

msujew commented 1 month ago

@AlexandraBuzila Was this PR opened in error? This look suspiciously similar to https://github.com/eclipse-theia/theia/pull/13498.

AlexandraBuzila commented 1 month ago

@AlexandraBuzila Was this PR opened in error? This look suspiciously similar to #13498.

Oh, absolutely. This was an error, didn't notice this PR :eyes: Thank you for catching it!