Merge pull request #6076 from OpenLiberty/5823-tools

change filename
OpenLiberty · Dec 5, 2022 · e8788ef · e8788ef
2 parents d9860c5 + 17ab13a
commit e8788ef
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...es/ROOT/pages/liberty-tools-overview.adoc → ...les/ROOT/pages/develop-liberty-tools.adoc b/...es/ROOT/pages/liberty-tools-overview.adoc → ...les/ROOT/pages/develop-liberty-tools.adoc