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