From d2bbf07e54caa684e397af06c552886fec41c303 Mon Sep 17 00:00:00 2001
From: Sascha Mann <git@mail.saschamann.eu>
Date: Tue, 4 Aug 2020 17:07:12 +0200
Subject: [PATCH] Undelete main.jl

---
 main.jl | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 main.jl

diff --git a/main.jl b/main.jl
new file mode 100644
index 0000000..1aaa0d2
--- /dev/null
+++ b/main.jl
@@ -0,0 +1,11 @@
+using Pkg
+
+Pkg.activate("coveragetempenv", shared=true)
+
+Pkg.add(PackageSpec(name="CoverageTools"))
+
+using CoverageTools
+
+pf = process_folder()
+
+LCOV.writefile("lcov.info", pf)