Changeset 6

Timestamp:

09/25/02 13:31:42 (21 years ago)

Author:

piso

Message:

TUNNEL

File:

• trunk/j/src/org/armedbear/j/Property.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/Property.java

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2002 Peter Graves
- * $Id: Property.java,v 1.1.1.1 2002-09-24 16:08:01 piso Exp $
+ * $Id: Property.java,v 1.2 2002-09-25 13:31:42 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -291 +291 @@
     public static final Property THEME_PATH =
         createProperty("themePath");
+    public static final Property TUNNEL =
+        createProperty("tunnel");
     public static final Property USER_FULL_NAME =
         createProperty("userFullName");