Skip to content

rename navigatable to navigable #1327

rename navigatable to navigable

rename navigatable to navigable #1327

Rustfmt

succeeded Oct 25, 2024 in 15s