diff options
author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 14:53:25 +0100 |
---|---|---|
committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-03-14 14:53:25 +0100 |
commit | 863038d9e8e94420090e5bd86c1b8439cf61eb81 (patch) | |
tree | 693abeefe48422a3b300a1bdca73f2d7d289dfa6 /.gitignore | |
parent | 4e4623577e05d8394c6840cff6b83d2c4159c29d (diff) |
Plans for divide/3 added.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions