[xmoto] 01/04: Add patch header for ode13.patch.

[Stephen Kitt]

This is an automated email from the git hooks/post-receive script.

skitt pushed a commit to branch master
in repository xmoto.

commit d13f90ac203c4c3baf3d2d47eabc8c041303f3b6
Author: Stephen Kitt <steve at sk2.org>
Date:   Sat Oct 17 21:31:05 2015 +0200

    Add patch header for ode13.patch.
---
 debian/patches/ode13.patch | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/patches/ode13.patch b/debian/patches/ode13.patch
index 2e58aae..daddb87 100644
--- a/debian/patches/ode13.patch
+++ b/debian/patches/ode13.patch
@@ -1,3 +1,6 @@
+Description: Specify precision for ode
+Author: Stephen Kitt <skitt at debian.org>
+
 --- a/src/include/xm_ode.h
 +++ b/src/include/xm_ode.h
 @@ -1,3 +1,4 @@

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/xmoto.git