summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 57380c8eb7fd4b33c64f171e797cde5ec68e07db (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
_darcs
dist
experiments
examples/session
examples/mnist.txt
examples/candidates
material
doc.sh

*.o
*.hi
*.chi
*.chs.h

push.sh
index.html
title.md
reinstall.sh