git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
307efbb
help
sign in
history of
llvm/Makefile
all commits
23a28d5
Fix .PHONY targets in Makefiles
Andy Morris
13 years ago
c7cf1f0
Refactored the build inside Setup.hs and the various Makefiles.
Gabe McArthur
13 years ago
58bb8e0
Take CFLAGS from environment in Makefiles
Benjamin Saunders
13 years ago
acce7da
GC GMP-allocated memory
Benjamin Saunders
13 years ago
114221a
Forgotten file
Benjamin Saunders
13 years ago
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