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

[docs] Remove unneeded options for nodeos replays - #9321

Merged
lparisc merged 2 commits into
developfrom
docs/fix-9280
Jul 20, 2020
Merged

lparisc merged 2 commits into
developfrom
docs/fix-9280

Conversation

@lparisc

@lparisc lparisc commented Jul 18, 2020

Copy link
Copy Markdown
Contributor

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 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.

Labels

documentation Requires attention from documentation team. e.g. documentation is expected to be generated.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants