4 lines
67 B
Plaintext
4 lines
67 B
Plaintext
|
#!/bin/sh
|
||
|
|
set -euo pipefail
|
||
|
|
exec lake +`latest-lean4-nightly` "$@"
|