Ignore:
Timestamp:
Jul 26, 2014 2:48:49 AM (7 years ago)
Author:
str4d <str4d@…>
Branches:
master
Children:
af575d6
Parents:
08409d0
Message:

Updated Eclipse settings

File:
1 edited

Legend:

Unmodified
Added
Removed

  • apps/jetty/.externalToolBuilders/jetty-makejar.launch

    r08409d0 re9c8748  
    77<booleanAttribute key="org.eclipse.ant.ui.DEFAULT_VM_INSTALL" value="false"/>
    88<stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${project}"/>
     9<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
     10<listEntry value="/jetty"/>
     11</listAttribute>
     12<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
     13<listEntry value="4"/>
     14</listAttribute>
    915<booleanAttribute key="org.eclipse.debug.ui.ATTR_LAUNCH_IN_BACKGROUND" value="false"/>
    1016<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
Note: See TracChangeset for help on using the changeset viewer.