git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Remove debugging stuff
17d7e9b
Jorge Acereda
9 years ago
libs/prelude/Makefile
−1
compare with master
unified
split
@@ -2,7 +2,6 @@ IDRIS ?= idris
2
PKG :=
prelude
2
PKG :=
prelude
3
3
4
build:
4
build:
5
−
echo
"LOC
$(
IDRIS
)
"
6
$(
IDRIS
)
--build
${
PKG
}
.ipkg
5
$(
IDRIS
)
--build
${
PKG
}
.ipkg
7
6
8
install:
7
install:
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list