The following commit has been merged in the master branch:
commit c2dbd68a00e38413b1bf368dec3b1d2d020eb180
Author: Goswin von Brederlow goswin-...@web.de
Date: Fri Mar 6 19:45:16 2009 +0100
Merging upstream and debian for release of 0.1-1.
diff --git a/examples/fs.ml b/examples/fs.ml
index
The following commit has been merged in the master branch:
commit 2a72d856369144ea1e6b61ee4617ddc494574503
Merge: c2dbd68a00e38413b1bf368dec3b1d2d020eb180
f7e7e25326ca0f44cc230d775ecce50c4facfa79
Author: Goswin von Brederlow goswin-...@web.de
Date: Fri Mar 6 19:49:39 2009 +0100
Merge
The following commit has been merged in the master branch:
commit d89266d40b058544f053db865a78ec84236a0500
Merge: 2a72d856369144ea1e6b61ee4617ddc494574503
14572bf7351ccee8407acdfbba6925980ac1d30f
Author: Goswin von Brederlow goswin-...@web.de
Date: Fri Mar 6 19:50:16 2009 +0100
Merge
The following commit has been merged in the master branch:
commit 5e8da3eff82dda41d113088ad2656832d032bd09
Author: Goswin von Brederlow goswin-...@web.de
Date: Fri Mar 6 19:51:01 2009 +0100
Fix .gitignore file broken by merge conflicts before.
Time for 0.1-1 release.
diff --git
4 matches
Mail list logo