# HG changeset patch
# User dwinter
# Date 1294042326 -3600
# Node ID f12382ef7e1cdd7f9e0039c5d2a1f77d70fa9a1d
# Parent  4acf8d7b77ee74dc28710f8b25177829a4196651
first release (continued)

diff -r 4acf8d7b77ee -r f12382ef7e1c libs/jdom-1.0.jar
Binary file libs/jdom-1.0.jar has changed