git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Fix broken build caused by 3fdf1a03
480a28b
Benjamin Saunders
13 years ago
idris.cabal
−2
compare with master
unified
split
@@ -93,8 +93,6 @@ Extra-source-files:
93
javascript/Makefile
93
javascript/Makefile
94
javascript/javascript.ipkg
94
javascript/javascript.ipkg
95
95
96
−
js/*.js
97
−
98
llvm/*.c
96
llvm/*.c
99
llvm/Makefile
97
llvm/Makefile
100
98
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