From d8ff1e37c38c37304fb44ba6618da141e4d08c21 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Mon, 12 Oct 2015 12:21:15 +0200
Subject: Remove the deprecated webtool application

---
 lib/tools/priv/.gitignore | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 lib/tools/priv/.gitignore

(limited to 'lib/tools/priv/.gitignore')

diff --git a/lib/tools/priv/.gitignore b/lib/tools/priv/.gitignore
new file mode 100644
index 0000000000..e69de29bb2
-- 
cgit v1.2.3