Changeset 728 for trunk/quest-plugin-php

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:

• .classpath (modified) (1 diff)
• src/main/resources (added)
• src/main/resources/manuals (added)
• src/main/resources/manuals/loadWebSequences (added)

trunk/quest-plugin-php/.classpath

@@ -13 +13 @@
                 </attributes>
         </classpathentry>
+        <classpathentry kind="src" path="src/main/resources"/>
         <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6">
                 <attributes>