From 5619fc22700ac9d48ee5dad5360c0cf291ee9d7f Mon Sep 17 00:00:00 2001
From: Berke Ates <beates@student.ethz.ch>
Date: Tue, 29 Nov 2022 09:11:48 +0100
Subject: [PATCH] added license to docker

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index 895657b..b7f4af5 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -278,3 +278,4 @@ COPY ./benchmarks ./benchmarks
 COPY ./output ./output
 COPY ./scripts ./scripts
 COPY ./README.md ./README.md
+COPY ./LICENSE.txt ./LICENSE.txt