From d72896271fa2c6ee26ca4b72b84d137adb852052 Mon Sep 17 00:00:00 2001
From: Tobias Happ <tobias.happ@gmx.de>
Date: Sun, 22 Sep 2019 08:25:20 +0200
Subject: [PATCH] Add license header in ci.nix

---
 ci.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci.nix b/ci.nix
index b8340f7..ef1aab0 100644
--- a/ci.nix
+++ b/ci.nix
@@ -1,3 +1,6 @@
+# Licensed under GNU Lesser General Public License v3 or later, see COPYING.
+# Copyright (c) 2019 Alexander Sosedkin and other contributors, see AUTHORS.
+
 with import <nixpkgs> { };
 
 let