Skip to content

Commit

Permalink
fix: pre-commit
Browse files Browse the repository at this point in the history
  • Loading branch information
josmo committed Mar 13, 2024
1 parent fb7dd44 commit e322216
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion docs/TOOLS.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,4 +37,3 @@ This is a list of all required tools and optional suggested tools.
1. **Github Actions (with devcontainer)**: Using devcontainers as the build primitive you can move the build from CI system to CI system with little effort. All the dependencies are defined in a portable way.

1. **MkDocs**: MkDocs is a static site generator that allows you to create beautiful documentation sites for your projects. It uses Markdown files as the source content and generates HTML-based documentation with a clean and user-friendly interface. MkDocs simplifies the process of documenting your codebase, making it easier for developers to understand and contribute to your project.

0 comments on commit e322216

Please sign in to comment.