changeset 34524 | 06a18bcf4e74 |
parent 34512 | 14d70378f1c7 |
child 34537 | f76e73377438 |
--- a/src/Tools/jEdit/build.xml Wed Feb 04 02:12:06 2009 +0100 +++ b/src/Tools/jEdit/build.xml Wed Feb 04 21:50:08 2009 +0100 @@ -71,6 +71,7 @@ <copy file="plugin/dockables.xml" todir="${build.classes.dir}" /> <copy file="plugin/actions.xml" todir="${build.classes.dir}" /> <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" /> + <copy file="plugin/styles.props" todir="${build.classes.dir}" /> </target> <target name="-post-jar"> <!-- jars -->