Make fields of Tool public. Rename a field.#60

Merged

dongri merged 1 commit intodongri:mainfrom OnlyFerris:main

Jan 6, 2024

+9-4

Commits on Jan 4, 2024

Make fields of Tool public. Rename a field.
OnlyFerris
committed