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
commitc02e75cc54d89ddfd9b18c70464a1b74a25a97d1 (patch)
treefdc3d948a9ca60619b8e699ea9bbf28bd08636d1 /mining
parent2fb19af7271784dcad4aec563e6b5e332454d62a (diff)
added git pull to monitoring makefile for convenience
Diffstat (limited to 'mining')
0 files changed, 0 insertions, 0 deletions