Changeset 728 for trunk/quest-plugin-php


Ignore:
Timestamp:
08/31/12 11:40:38 (12 years ago)
Author:
sherbold
Message:
  • added manuals for the commands efgTestCasesToSequences, efgToDFA, efgToMM, parseDirJFC, parseJFC, preprocessDirJFC, preprocessJFC, convertDirToXml, convertToXml, parseXML, and loadWebSequences
Location:
trunk/quest-plugin-php
Files:
3 added
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/quest-plugin-php/.classpath

    r516 r728  
    1313                </attributes> 
    1414        </classpathentry> 
     15        <classpathentry kind="src" path="src/main/resources"/> 
    1516        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"> 
    1617                <attributes> 
Note: See TracChangeset for help on using the changeset viewer.