summaryrefslogtreecommitdiff
path: root/.gitignore
blob: ccb029ccd4ae5a5eac9f07b4b400974339dc25eb (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

/base-reinstall.sh