Skip to content
This repository has been archived by the owner on Aug 2, 2022. It is now read-only.

[docs] Fix character formatting in nodeos CLI option #9291

Merged
merged 1 commit into from
Jul 7, 2020
Merged

[docs] Fix character formatting in nodeos CLI option #9291

merged 1 commit into from
Jul 7, 2020

Conversation

lparisc
Copy link
Contributor

@lparisc lparisc commented Jul 7, 2020

Change Description

Up-port of PR #9288 to develop

Change Type

Select ONE

  • Documentation
  • Stability bug fix
  • Other
  • Other - special case

Consensus Changes

  • Consensus Changes

API Changes

  • API Changes

Documentation Additions

  • Documentation Additions

@lparisc lparisc added the documentation Requires attention from documentation team. e.g. documentation is expected to be generated. label Jul 7, 2020
@lparisc lparisc requested a review from johndebord July 7, 2020 00:02
@lparisc lparisc self-assigned this Jul 7, 2020
@lparisc lparisc merged commit 134fae7 into develop Jul 7, 2020
@lparisc lparisc deleted the docs/pr-9288 branch July 7, 2020 14:20
@lparisc lparisc added the staging doc-related issue has been resolved in merged PR. moved to staging phase for production testing. label Jul 7, 2020
@lparisc lparisc removed the staging doc-related issue has been resolved in merged PR. moved to staging phase for production testing. label Aug 25, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@johndebord johndebord johndebord approved these changes

Assignees

@lparisc lparisc

Labels
documentation Requires attention from documentation team. e.g. documentation is expected to be generated.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@lparisc @johndebord @bobgt