Import java/jgraph version 5.13.0.4
authorAutomaton IAS <nobody@home.ok>
Fri, 4 Jan 2013 18:24:33 +0000 (19:24 +0100)
committerAutomaton IAS <nobody@home.ok>
Fri, 4 Jan 2013 18:24:33 +0000 (19:24 +0100)
commit1b44a39487033574fbbb052651ff0df2dd3052ca
treeaa88c8f86a9dec3f8448a3de327d2d310a2ad3f2
parent777d69a6f8c577989eee241979c673dd75f0d4a1
Import java/jgraph version 5.13.0.4
java/jgraph/Makefile [new file with mode: 0644]
java/jgraph/distinfo [new file with mode: 0644]
java/jgraph/pkg-descr [new file with mode: 0644]