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