summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:53:25 +0100
committerAleksander Sadikov <aleksander.sadikov@fri.uni-lj.si>2016-03-14 14:53:25 +0100
commit863038d9e8e94420090e5bd86c1b8439cf61eb81 (patch)
tree693abeefe48422a3b300a1bdca73f2d7d289dfa6 /.gitignore
parent4e4623577e05d8394c6840cff6b83d2c4159c29d (diff)
Plans for divide/3 added.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions