From 9892ffb79880f3733e63f0849e8de7e5f26834d7 Mon Sep 17 00:00:00 2001
From: Tobias Meggendorfer <tobias@meggendorfer.de>
Date: Tue, 28 May 2024 13:34:54 +0200
Subject: [PATCH] licence

---
 doc/quickstart.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/doc/quickstart.md b/doc/quickstart.md
index 6bcda86c4..158e87a15 100644
--- a/doc/quickstart.md
+++ b/doc/quickstart.md
@@ -1,3 +1,12 @@
+<!--
+This file is part of BenchExec, a framework for reliable benchmarking:
+https://github.com/sosy-lab/benchexec
+
+SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+
+SPDX-License-Identifier: Apache-2.0
+-->
+
 # A Beginner's Guide to Reliable Benchmarking
 
 > If your current setup looks similar to the below example (or you are thinking