[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-68-g62d5fad

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c858f35a572a66ff54bfc907c3c0a39157dbb65e
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 11:34:47 2009 +0100

    newline

diff --git a/debian/why.dirs b/debian/why.dirs
index 1ee4cf6..4d1740f 100644
--- a/debian/why.dirs
+++ b/debian/why.dirs
@@ -1,2 +1 @@
-usr/lib/coq
-usr/share/why
\ No newline at end of file
+usr/share/why

-- 
why packaging