From 6d8cf6aca31bcdd14a334d6c8861920634fb61a5 Mon Sep 17 00:00:00 2001
From: Krzysztof Kosi??ski <tweenk.pl@gmail.com>
Date: Thu, 23 Jun 2011 16:37:43 +0200
Subject: Remove the dom/work directory

(bzr r10347)
---
 src/dom/work/Main.java | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 src/dom/work/Main.java

(limited to 'src/dom/work/Main.java')

diff --git a/src/dom/work/Main.java b/src/dom/work/Main.java
deleted file mode 100644
index d4d9177d3..000000000
--- a/src/dom/work/Main.java
+++ /dev/null
@@ -1,15 +0,0 @@
-import java.io.*;
-import antlr.*;
-
-public class Main {
-  public static void main(String[] args) {
-    try {
-      IDLLexer lexer = new IDLLexer(new DataInputStream(System.in));
-      IDLParser parser = new IDLParser(lexer);
-      parser.specification();
-    } catch(Exception e) {
-      System.err.println("exception: "+e);
-    }
-  }
-}
-
-- 
cgit v1.2.3