From ad82d1385d3a9a1128eca27edbb72bf6e2b058fa Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 13 Mar 2020 13:49:32 +0100
Subject: [PATCH] license: remove unnecessary header with typo
---
LICENSE-CODE | 2 --
1 file changed, 2 deletions(-)
diff --git a/LICENSE-CODE b/LICENSE-CODE
index c4d13d0f1..7bb110b2c 100644
--- a/LICENSE-CODE
+++ b/LICENSE-CODE
@@ -5,8 +5,6 @@ Copyright: Iris developers and contributors
------------------------------------------------------------------------------
- BSD LICENCE
-
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
* Redistributions of source code must retain the above copyright
--
GitLab