From 98486e86c2136b36b31260a944a5d17bc5f6b177 Mon Sep 17 00:00:00 2001
From: jwikmark <jacob@wikmark.se>
Date: Wed, 14 Mar 2018 11:26:10 +0100
Subject: [PATCH] rename

---
 src/{DoubleTank.jl => DoubleTankLab.jl} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{DoubleTank.jl => DoubleTankLab.jl} (100%)

diff --git a/src/DoubleTank.jl b/src/DoubleTankLab.jl
similarity index 100%
rename from src/DoubleTank.jl
rename to src/DoubleTankLab.jl
-- 
GitLab