mirror of
https://github.com/neovim/neovim.git
synced 2026-01-03 18:06:29 +10:00
@theHamsta suggested in https://github.com/neovim/neovim/pull/18348#discussion_r862594173 to also print the users doxygen version if the version is too old.