diff options
Diffstat (limited to 'gi/posterior-regularisation/prjava/build.xml')
| -rw-r--r-- | gi/posterior-regularisation/prjava/build.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gi/posterior-regularisation/prjava/build.xml b/gi/posterior-regularisation/prjava/build.xml index 40199144..97569bef 100644 --- a/gi/posterior-regularisation/prjava/build.xml +++ b/gi/posterior-regularisation/prjava/build.xml @@ -32,8 +32,6 @@ <target name="clean" description="clean up" > - <!-- Delete the ${build} and ${dist} directory trees --> <delete dir="${build}"/> - <delete dir="${dist}"/> </target> </project> |