From 6601d0adc5c3b26557af666c2123ac433cdc5e1e Mon Sep 17 00:00:00 2001
From: Silvio <silvio.traversaro@iit.it>
Date: Sun, 7 May 2017 23:24:02 +0200
Subject: Add ode port

---
 ports/ode/CONTROL | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 ports/ode/CONTROL

(limited to 'ports/ode/CONTROL')

diff --git a/ports/ode/CONTROL b/ports/ode/CONTROL
new file mode 100644
index 000000000..952e85629
--- /dev/null
+++ b/ports/ode/CONTROL
@@ -0,0 +1,3 @@
+Source: ode
+Version: 0.15.1 
+Description: Open Dynamics Engine
-- 
cgit v1.2.3