Skip to content
This repository has been archived by the owner on Sep 20, 2024. It is now read-only.

Variable in docs renamed to proper name #2546

Merged
merged 1 commit into from
Jan 17, 2022
Merged

Conversation

kalisp
Copy link
Member

@kalisp kalisp commented Jan 17, 2022

There was left one occurrence of old variable name in documentation.

@kalisp kalisp requested a review from 64qam January 17, 2022 12:42
@kalisp kalisp self-assigned this Jan 17, 2022
@kalisp kalisp merged commit 92b65b1 into develop Jan 17, 2022
@kalisp kalisp deleted the chore/wrong_name_in_docs branch January 17, 2022 14:01
@mkolar mkolar changed the title Renamed to proper name Variable in docs renamed to proper name Jan 24, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants