From 3d52b679b014a92dad8e298c97095b11533ca0c1 Mon Sep 17 00:00:00 2001
From: Thomas Rudin <thomas@rudin.li>
Date: Fri, 16 Nov 2018 21:36:03 +0100
Subject: [PATCH] Quarry: Make use of fake digger from pipeworks (#453)

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.8.0