mirror of
https://github.com/luanti-org/luanti.git
synced 2025-06-27 16:36:03 +00:00
Rename doc/developing/misc.md to profiling.md
This commit is contained in:
parent
0b2631a17b
commit
7c3d14c06e
2 changed files with 2 additions and 2 deletions
|
@ -17,7 +17,7 @@ Notable pages:
|
|||
- [Developing minetestserver with Docker](docker.md)
|
||||
- [Android tips & tricks](android.md)
|
||||
- [OS/library compatibility policy](os-compatibility.md)
|
||||
- [Miscellaneous](misc.md)
|
||||
- [Profiling instructions](profiling.md)
|
||||
|
||||
## IRC
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
# Miscellaneous
|
||||
# Profiling
|
||||
|
||||
## Profiling Luanti on Linux with perf
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue