From a4d6b2a07f71736a77f4026f451b0d5aa1f7f613 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 13 Mar 2020 13:49:03 +0100
Subject: [PATCH] license: remove unnecessary header with typo
---
LICENSE | 2 --
1 file changed, 2 deletions(-)
diff --git a/LICENSE b/LICENSE
index fafc4105..e80f867c 100644
--- a/LICENSE
+++ b/LICENSE
@@ -5,8 +5,6 @@ Copyright: std++ 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