summaryrefslogtreecommitdiff
path: root/util/kill
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2015-12-17 15:41:45 +0100
committerPatrick Simianer <p@simianer.de>2015-12-17 15:41:45 +0100
commitc03f111ae6eac7b5b6ac2ad4635603eededcb6a3 (patch)
tree465a6d68ea31e116e05fc11a2e52d2f85af8e57e /util/kill
parent19541176d3f93e0092ca91b1413cafeceda6784e (diff)
fix oov bug, better/fixed known rule handling
Diffstat (limited to 'util/kill')
0 files changed, 0 insertions, 0 deletions