summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorVítězslav Kříž <vitezslav.kriz@nic.cz>2016-01-20 20:17:47 +0100
committerJan Vcelak <jan.vcelak@nic.cz>2016-05-05 15:28:26 +0200
commitfd2bad81a7d9beb6617bcd7f1931494b7310f822 (patch)
tree2bb12ec03fb670f84040fa7b831c61c415c3ea81 /.gitignore
parentsmecheck: enum of check level (diff)
downloadknot-fd2bad81a7d9beb6617bcd7f1931494b7310f822.tar.xz
knot-fd2bad81a7d9beb6617bcd7f1931494b7310f822.zip
semcheck: unittests
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions