summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-02-05 19:08:53 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-02-05 19:08:53 +0100
commit75b0b7de8ef57f02d35b589fdba7fa42252cce82 (patch)
tree7df7c2fd7685c7ed31ccc696b08d96574de8518a /.gitignore
parente4d5f477ca121532a7ca568543da11166065c5dd (diff)
Compactify sections 3 and 4, prettify rules
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions