*** empty log message ***

[tools/siman.git] / Workspace / .metadata / .plugins / org.eclipse.jdt.core / 1244815433.index

diff --git a/Workspace/.metadata/.plugins/org.eclipse.jdt.core/1244815433.index b/Workspace/.metadata/.plugins/org.eclipse.jdt.core/1244815433.index
deleted file mode 100644 (file)
index 18bdbdc..0000000
Binary files a/Workspace/.metadata/.plugins/org.eclipse.jdt.core/1244815433.index and /dev/null differ