[Pkg-ocaml-maint-commits] [SCM] planets packaging branch, master, updated. debian/0.1.13-11-9-g8251d08

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8251d08700aee9b078be9ccce35ea8136426daad
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 15 21:24:30 2011 +0100

    install the TODO file

diff --git a/debian/planets.docs b/debian/planets.docs
index cae4c09..e770545 100644
--- a/debian/planets.docs
+++ b/debian/planets.docs
@@ -1,2 +1,3 @@
 KEYBINDINGS.txt
 getting_started.html
+TODO

-- 
planets packaging