Skip to content

Commit

Permalink
specs: remove meta section
Browse files Browse the repository at this point in the history
There isn't a need to put the linting rules in the spec,
they should be in the `README`. We also don't care about
Go linting rules in the spec, they should be in the monorepo
`README`. This commit cleans up the specs by deleting the
`meta` directory. It is also no longer displayed as part of
the mdbook setup.
  • Loading branch information
tynes committed Feb 8, 2024
1 parent db3c4c8 commit 56f441d
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 107 deletions.
4 changes: 0 additions & 4 deletions specs/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,3 @@
- [Honest Challenger](./experimental/fault-proof/honest-challenger-fdg.md)
- [Bond Incentives](./experimental/fault-proof/bond-incentives.md)
- [Glossary](./glossary.md)
- [Meta](./meta/index.md)
- [Linting](./meta/linting.md)
- [Versioning](./meta/versioning.md)
- [Markdown Style](./meta/markdown-style.md)
9 changes: 0 additions & 9 deletions specs/meta/index.md

This file was deleted.

53 changes: 0 additions & 53 deletions specs/meta/markdown-style.md

This file was deleted.

41 changes: 0 additions & 41 deletions specs/meta/versioning.md

This file was deleted.

0 comments on commit 56f441d

Please sign in to comment.