summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMartin <martin@leo.fri1.uni-lj.si>2015-10-02 16:14:24 +0200
committerMartin <martin@leo.fri1.uni-lj.si>2015-10-02 16:14:24 +0200
commit4e7b80974d7433f96fa1908293e5faee9d8de519 (patch)
tree9137c6a2fb801a7f0527530f0909976e39728ef6 /.gitignore
parentdf229fbab5f8cf2b310bc44e1501f03149fceb65 (diff)
Removed unnecessary HintSequences.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions