Remove unneeded ORO zip as we don't use ORO anymore

orbeon · Jul 13, 2012 · 6c114d1 · 6c114d1
1 parent 7521efc
commit 6c114d1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tools/jakarta-oro-2.0.8.zip b/tools/jakarta-oro-2.0.8.zip