mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: fec8aebf | patch | commit | show whitespace
Jean-Noel Rouvignac
19.28.2013 76881030ad71fb65dfc37831974072ccfafb65b0 
build.xml:
Fixed indentation in several places.
1 files modified
2 ■■■■■ changed files
opends/build.xml 2 ●●●●● patch | view | raw | blame | history 
 opends/build.xml


@@ -23,7 +23,7 @@


 !


 !


 !      Copyright 2006-2010 Sun Microsystems, Inc.


 !      Portions Copyright 2011-2012 ForgeRock AS


 !      Portions Copyright 2011-2013 ForgeRock AS


 ! -->




<project name="Directory Server" basedir="." default="package">