git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Merge pull request #3263 from melted/gitignore
d368fd4
David Christiansen
10 years ago
.gitignore
+2
compare with master
unified
split
@@ -21,6 +21,8 @@ cabal.config
21
*.dSYM
21
*.dSYM
22
.projectile
22
.projectile
23
.dir-locals.el
23
.dir-locals.el
24
+
.vscode
25
+
.idea
24
custom.mk
26
custom.mk
25
libs/base/base_doc/
27
libs/base/base_doc/
26
libs/effects/effects_doc/
28
libs/effects/effects_doc/
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