version 1.1, 1997/01/31 13:59:42
|
version 1.1.2.1, 1999/09/03 14:55:36
|
Line 1
|
Line 1
|
package w3c.jigsaw; |
// Main.java |
|
// $Id$ |
|
// (c) COPYRIGHT MIT and INRIA, 1997. |
|
// Please first read the full copyright statement in file COPYRIGHT.html |
|
|
|
package org.w3c.jigsaw; |
|
|
/** |
/** |
* A place holder for running Jigsaw. |
* A place holder for running Jigsaw. |
Line 7 package w3c.jigsaw;
|
Line 12 package w3c.jigsaw;
|
public class Main { |
public class Main { |
|
|
public static void main(String args[]) { |
public static void main(String args[]) { |
w3c.jigsaw.daemon.ServerHandlerManager.main(args); |
org.w3c.jigsaw.daemon.ServerHandlerManager.main(args); |
} |
} |
|
|
} |
} |