Update options.{txt,jax}#2172

Merged

h-east merged 4 commits intovim-jp:masterfrom

h-east:update-options

Jul 22, 2025

Commits on Jul 19, 2025

Update options.{txt,jax}
h-east
committed

Commits on Jul 21, 2025

Update by original
h-east
committed

Commits on Jul 22, 2025