Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use build-nb.xml for "debug" as well;
authorwenzelm
Sat, 22 Nov 2008 01:02:08 +0100
changeset 34382 89a7f3906869
parent 34381 a94d2fb96fd5
child 34385 5ff833cfd3c8
use build-nb.xml for "debug" as well;
src/Tools/jEdit/contrib/jEdit/nbproject/project.xml file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/contrib/jEdit/nbproject/project.xml	Sat Nov 22 00:51:27 2008 +0100
+++ b/src/Tools/jEdit/contrib/jEdit/nbproject/project.xml	Sat Nov 22 01:02:08 2008 +0100
@@ -48,7 +48,7 @@
                     <target>build</target>
                 </action>
                 <action name="debug">
-                    <script>nbproject/ide-targets.xml</script>
+                    <script>build-nb.xml</script>
                     <target>debug-nb</target>
                 </action>
             </ide-actions>
isabelle