Added description to pom.xml

com-github-javabdd · Mar 13, 2020 · cf5caeb · cf5caeb
1 parent deb51b7
commit cf5caeb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pom.xml b/pom.xml
@@ -9,6 +9,7 @@
 
     <name>com.github.javabdd</name>
     <url>https://github.com/com-github-javabdd/com.github.javabdd</url>
+    <description>JavaBDD: A Java library for Binary Decision Diagrams (BDDs)</description>
 
     <licenses>
         <license>