From b66e4fbdc414cd5c6af5860e14a214cfbc7eaf32 Mon Sep 17 00:00:00 2001 From: Badlop Date: Mon, 8 Jul 2013 15:52:03 +0200 Subject: [PATCH] Apparently configure.erl is not needed anymore --- {src => tools}/configure.erl | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {src => tools}/configure.erl (100%) diff --git a/src/configure.erl b/tools/configure.erl similarity index 100% rename from src/configure.erl rename to tools/configure.erl