* external/extlib/modif-orig.txt:

xknown · Nov 5, 2012 · d44e1d4 · d44e1d4
1 parent 0f4b62e
commit d44e1d4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/external/extlib/Makefile b/external/extlib/Makefile
@@ -31,3 +31,5 @@ uninstall:
 
 clean:
  rm -f *.cmo *.cmx *.o *.obj *.cmi *.cma *.cmxa *.cmxs *.a *.lib doc/*.html
+
+depend:
diff --git a/external/extlib/modif-orig.txt b/external/extlib/modif-orig.txt
@@ -0,0 +1,3 @@
+taken from http://code.google.com/p/ocaml-extlib/, version 1.5.3
+
+Renamed uppercase files like README, INSTALL, COPYRIGHT etc.