saecki crates.nvim Q A · Discussions · GitHub

COQ support?
Ideas Suyashtnt

Sort by: Latest activity

Categories

Community guidelines

Q&A Discussions

Ask the community for help

You must be logged in to vote

Neat-looking code action menu

Andrew15-5 asked Jun 12, 2024 in Q&A · Answered

4
You must be logged in to vote

How disable WORKSPACE_SECTION_NOT_DEFAULT warning?

qRoC asked Jan 25, 2024 in Q&A · Closed · Answered

1
You must be logged in to vote

How to turn "*" into an exact version number?

IndianBoy42 asked May 27, 2023 in Q&A · Closed · Answered

1