git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Remove debugging stuff
commit
17d7e9bc0d13c2c7ed8c0a07fce27d9febafee77
author
Jorge Acereda
<jacereda@gmail.com>
date
Sun 25 Mar 2018, 10:20
(9 years ago)
parent
25baedb
1 file changed
−1
compare with master
unified
split
libs/prelude/Makefile
−1
libs/prelude/Makefile
−1
@@ -2,7 +2,6 @@ IDRIS ?= idris
2
2
PKG :=
prelude
3
3
4
4
build:
5
−
echo
"LOC
$(
IDRIS
)
"
6
5
$(
IDRIS
)
--build
${
PKG
}
.ipkg
7
6
8
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