[Pkg-ocaml-maint-commits] [SCM] aac-tactics packaging branch, master, updated. debian/0.1-r13244-1-5-g499ab02

[Stephane Glondu]

The following commit has been merged in the master branch:
commit aa51449cb692a9a1d183b2663679645aba16b036
Merge: a3c2b799e0eceb0896af062887c762c654d2e2f6 8ab748064ddeec8400859e210bf9963826cba631
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Dec 1 13:33:59 2010 +0100

    Merge commit 'upstream/0.2.1'

diff --combined .gitignore
index 845ca06,50cfd07..ce3c045
--- a/.gitignore
+++ b/.gitignore
@@@ -1,1 -1,2 +1,3 @@@
+ doc
+ html
 +.pc

-- 
aac-tactics packaging