max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: adjust message

Browse source
This commit is contained in:
Sebastian Ullrich 2022-03-09 10:31:32 +01:00
parent 202258cc87
commit db9b963af7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nix/lake-dev.in
View file

@ -3,7 +3,7 @@
set -euo pipefail
function pebkac() {
echo 'This is just a simple Nix adapter for `lake print-paths|server`. Please use the `lean-all` attribute for the real thing.'
echo 'This is just a simple Nix adapter for `lake print-paths|serve`.'
exit 1
}