summaryrefslogtreecommitdiffstats
path: root/mining
diff options
context:
space:
mode:
authormakefu <makefu@syntax-fehler.de>2011-07-01 22:30:03 +0200
committermakefu <makefu@syntax-fehler.de>2011-07-01 22:31:48 +0200
commitd65a67a8541d9b1c4e829cf1f0c66f76891f47d9 (patch)
tree549673060f8c22750403cc07f27831df4193ea18 /mining
parentfd43a6df27a27f17733582ffe5e6b1f596280711 (diff)
added git pull to monitoring makefile for convenience
Diffstat (limited to 'mining')
0 files changed, 0 insertions, 0 deletions