The Wayback Machine - https://web.archive.org/web/20220803130940/https://github.com/ms-jpq/coq_nvim/pull/489

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix custom source crash #489

Open

Mte90 wants to merge 1 commit into ms-jpq:coq from Mte90:patch-1

+1 −2

Mte90 commented May 26, 2022

Ref: #358


          Fix custom source crash

4c90b7a

Ref: ms-jpq#358

ms-jpq force-pushed the coq branch 4 times, most recently from 0265a02 to 7783671 Compare

Author

Mte90 commented Jul 20, 2022

ms-jpq force-pushed the coq branch from b254f97 to 75b6fd3 Compare

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment