Credits for last merge.

jgrapht · Sep 23, 2016 · 187567a · 187567a
1 parent 0914262
commit 187567a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
@@ -91,6 +91,7 @@ JGraphT wouldn't be the library it is today without the source contributions and
 - Benedikt Waldvogel
 - Victor Mikhaylov
 - Nils Olberg
+- Daniel Gómez-Sánchez
 
 (if we have missed your name on this list, please email us to get it fixed).
 

diff --git a/HISTORY.md b/HISTORY.md
@@ -9,6 +9,7 @@ Changes to JGraphT in each version:
 	- Unified graph export name providers using a common interface (contributed by Dimitrios Michail)
 	- Fix `GnmRandomGraphGenerator` bug in computation of maximum number of edges (contributed by Dimitrios Michail)
 	- Added new demo class `GraphMLDemo` to demonstrate importing and exporting graphs in the GraphML format (contributed by Dimitrios Michail)
+	- Added project badges (contributed by Daniel Gómez-Sánchez)
 
 - **version 1.0.0** (19-Sept-2016):
 	- Moved to JDK 1.8 (cleanup contributed by Joris Kinable)