From 30139573052f91e81a5d578f46aad9a08813afef Mon Sep 17 00:00:00 2001 From: John V Sichi Date: Sun, 30 Sep 2007 01:08:23 +0000 Subject: [PATCH] Tag for the 0.7.2 release of JGraphT git-svn-id: https://jgrapht.svn.sourceforge.net/svnroot/jgrapht/tags/ver_0_7_2@571 4a7320f3-3611-0410-a4d0-ef7ff04b8906