Skip to content
This repository was archived by the owner on Jul 28, 2023. It is now read-only.

Update: link to ide#139

Merged
borispovod merged 1 commit intomasterfrom
feature-fix-ide-link
Sep 1, 2021
Merged

Update: link to ide#139
borispovod merged 1 commit intomasterfrom
feature-fix-ide-link

Conversation

@borispovod
Copy link
Copy Markdown
Member

No description provided.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Aug 31, 2021
@borispovod borispovod requested a review from RIg410 August 31, 2021 16:01
@borispovod borispovod merged commit 6e6113d into master Sep 1, 2021
@mkurnikov mkurnikov deleted the feature-fix-ide-link branch February 8, 2022 15:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants