summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2015-12-21 17:17:21 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2015-12-21 17:17:21 +0100
commit0bf95f99e6126b481a4dcac574ada59f9ad3662b (patch)
tree8b8d229fbd4dbd21a9aa14d762ed0b11753437a8 /tools
parent23c212e7f1e80a3c6b88b49918972bc28375bd51 (diff)
Follow-up work on integration
Contains some patches from Jan Moskyto Matejka
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions