diff options
| author | Rubem Pacelli <rubem.engenharia@gmail.com> | 2023-12-03 21:43:38 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-03 21:43:38 -0300 |
| commit | 2af65719e6764fa38d1a003fda77d1bd1624e5c8 (patch) | |
| tree | ad7266202c096f993bfcfc093d566fa9c6311e41 | |
| parent | 18c549bf98537b43d5223e0f94f32457779f5df8 (diff) | |
Rename config_file.md to navi_config.md
| -rw-r--r-- | docs/navi_config.md (renamed from docs/config_file.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/config_file.md b/docs/navi_config.md index d7db573..d7db573 100644 --- a/docs/config_file.md +++ b/docs/navi_config.md |