Skip to content

Commit

Permalink
Minor.
Browse files Browse the repository at this point in the history
  • Loading branch information
huxuan committed Feb 5, 2024
1 parent 3e79f30 commit 5a0fe10
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion docs/dev/dev-env.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Development Environment Management
# Development Environment

This page show the approach to manage development environment. To simplify the process, a unified `Makefile` is maintained at the root directory of the repo. In other words, all the `make` related commands are supposed to run there.

Expand Down
2 changes: 1 addition & 1 deletion template/docs/dev/dev-env.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Development Environment Management
# Development Environment

This page show the approach to manage development environment. To simplify the process, a unified `Makefile` is maintained at the root directory of the repo. In other words, all the `make` related commands are supposed to run there.

Expand Down

0 comments on commit 5a0fe10

Please sign in to comment.