summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-02-01 20:47:39 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2018-02-01 20:47:39 +0100
commit46502e354696f04d6d63182b1b0577d9e036a697 (patch)
tree659ddf07ed6a3fcd3f839ae75132ea8a4a1a1c4c /.gitignore
parentc63a5d96355c89353ccb51798ecf2498ec48225d (diff)
Add section on patterns
Evaluation with RFs is still missing.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions