From 2024598ef78fbc1027647da3798545d11992a46b Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Fri, 11 Apr 2014 13:50:43 +0200 Subject: [PATCH] Install vi in the dev environment. Refs #5996 --- dev/run | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/dev/run b/dev/run index 9e404ddf0..102e988c1 100755 --- a/dev/run +++ b/dev/run @@ -7,7 +7,7 @@ cd docker cat > Dockerfile <