From af899bf16728151a42d644b2aff87a24615fe2f4 Mon Sep 17 00:00:00 2001
From: Rohan Budhiraja <budhiraja@laas.fr>
Date: Tue, 14 Jun 2016 18:36:26 +0200
Subject: [PATCH] Add .version file.

---
 .version | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .version

diff --git a/.version b/.version
new file mode 100644
index 0000000..56fea8a
--- /dev/null
+++ b/.version
@@ -0,0 +1 @@
+3.0.0
\ No newline at end of file
-- 
GitLab