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