Renamed the about library

This commit is contained in:
2023-07-31 11:19:03 +10:00
committed by GitHub
parent 540dcd03cc
commit 40357d52a3
2 changed files with 6 additions and 6 deletions

View File

@@ -45,7 +45,7 @@ print tally(); //3
* [Quick Start Guide](getting-started/quick-start-guide)
* [Types](getting-started/types)
* [About Library](getting-started/about-library)
* [Toy Version Info Library](getting-started/toy-version-info-library)
* [Standard Library](getting-started/standard-library)
* [Random Library](getting-started/random-library)
* [Runner Library](getting-started/runner-library)