debian specific patch information for planets / 0.1.13-9

 Makefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 display.ml  |    2 +-
 lstrings.ml |    1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

 planets.desktop |    6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

 lstrings.ml |   60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)