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

[docs] Remove unneeded options for nodeos replays #9321

Merged
merged 2 commits into from
Jul 20, 2020
Merged

[docs] Remove unneeded options for nodeos replays #9321

merged 2 commits into from
Jul 20, 2020

Conversation

lparisc
Copy link
Contributor

@lparisc lparisc commented Jul 18, 2020

Change Description

Resolves #9280

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 18, 2020
@lparisc lparisc self-assigned this Jul 18, 2020
@lparisc lparisc requested a review from johndebord July 18, 2020 21:04
@lparisc lparisc mentioned this pull request Jul 18, 2020
Merged
7 tasks
@lparisc lparisc merged commit 2547314 into develop Jul 20, 2020
@lparisc lparisc deleted the docs/fix-9280 branch July 20, 2020 17:17
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.
2 participants
@lparisc @johndebord