The Wayback Machine - https://web.archive.org/web/20211205152628/https://github.com/ms-jpq/coq_nvim/blob/coq/venv.bat
Skip to content
Permalink
coq
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
@echo off
cd /D "%~dp0"
%*
exit -b %ERRORLEVEL%