The following commit has been merged in the master branch:
commit 2f89fbcc729e637d14300283db713b0414716a6a
Author: Sylvain Le Gall gil...@debian.org
Date: Thu Mar 7 23:26:55 2013 +
re-enable reinstall target.
diff --git a/Makefile b/Makefile
index 47f28a2..8c9c3a3 100644
--- a/Makefile
The following commit has been merged in the master branch:
commit c1e9250ae98baa8b879bbbc91b6d84f37d202d3d
Author: Christophe Troestler christophe.troest...@umons.ac.be
Date: Sun Nov 18 14:03:56 2012 +0100
Slightly improve the help action.
diff --git a/src/ActHelp.ml b/src/ActHelp.ml
index
The following commit has been merged in the master branch:
commit 997c03825f19116afc2b13537c75fe54aa52604f
Author: Sylvain Le Gall gil...@debian.org
Date: Fri Mar 8 00:11:25 2013 +
Use not-yet release oasis 0.3.1 API.
diff --git a/src/BuildDepends.ml b/src/BuildDepends.ml
index
3 matches
Mail list logo