From e698d19c887135a6936abb285379400802d59184 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 16 Jul 2024 17:08:05 -0700 Subject: [PATCH] remove file Signed-off-by: Lev Nachmanson --- GraphLayout/tools/Dot2Svg/app.config | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 GraphLayout/tools/Dot2Svg/app.config diff --git a/GraphLayout/tools/Dot2Svg/app.config b/GraphLayout/tools/Dot2Svg/app.config deleted file mode 100644 index e69de29b..00000000