This website requires JavaScript.
Explore
Help
Sign In
gebner
/
etc
Watch
1
Star
0
Fork
You've already forked etc
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
cc71220d19
etc
/
bin
/
lean-language-server
3 lines
45 B
Bash
Executable File
Raw
Blame
History
#!/bin/sh
exec
npx lean-language-server
"
$@
"
Reference in New Issue
View Git Blame
Copy Permalink