From 3cd136861c68b8c24cc653c903c620d55be4b294 Mon Sep 17 00:00:00 2001
From: Andreas Maunz <andreas@maunz.de>
Date: Mon, 2 Apr 2012 09:18:14 +0200
Subject: Remove PC descriptor

---
 java/optional.jar | Bin 654735 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 java/optional.jar

(limited to 'java/optional.jar')

diff --git a/java/optional.jar b/java/optional.jar
deleted file mode 100644
index 1128e1d..0000000
Binary files a/java/optional.jar and /dev/null differ
-- 
cgit v1.2.3