git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
ignore .orig files
commit
0d8694032eb2906b592248172b4b2963cc0123e1
author
Niklas Larsson
<niklas@mm.st>
date
Sat 6 Feb 2016, 13:35
(11 years ago)
parent
58f6c42
1 file changed
+1
compare with master
unified
split
.gitignore
+1
.gitignore
+1
@@ -16,6 +16,7 @@ cabal.config
16
16
*~
17
17
.DS_Store
18
18
.hpc
19
+
*.orig
19
20
*.tix
20
21
.projectile
21
22
.dir-locals.el
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