From deb51b75032f860d1fcabb0ceac76166823cea0d Mon Sep 17 00:00:00 2001
From: Dennis Hendriks <dhendriks@users.noreply.github.com>
Date: Fri, 13 Mar 2020 18:41:56 +0100
Subject: [PATCH] Adding license to pom.xml

---
 pom.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/pom.xml b/pom.xml
index 28a1236..e8a0071 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,6 +10,13 @@
     <name>com.github.javabdd</name>
     <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
 
+    <licenses>
+        <license>
+            <name>LGPL-2.0-or-later</name>
+            <url>https://spdx.org/licenses/LGPL-2.0-or-later.html</url>
+        </license>
+    </licenses>
+
     <properties>
         <project.build.sourceEncoding>
             UTF-8