diff src/de/mpiwg/itgroup/eSciDoc/Tools/DRI/ConvertXMLToDRIList.java @ 14:94ea06e32003

minor
author dwinter
date Thu, 13 Sep 2012 13:41:32 +0200
parents ecd66e70cb65
children
line wrap: on
line diff
--- a/src/de/mpiwg/itgroup/eSciDoc/Tools/DRI/ConvertXMLToDRIList.java	Thu Sep 13 13:01:36 2012 +0200
+++ b/src/de/mpiwg/itgroup/eSciDoc/Tools/DRI/ConvertXMLToDRIList.java	Thu Sep 13 13:41:32 2012 +0200
@@ -58,6 +58,7 @@
 
 	}
 	
+	
 	public static void main(String[] args) throws IOException, JDOMException {
 		if (args.length <2){
 			System.out.print("USAGE: fileIN filenOUT");