[DEV] update dev tag version

This commit is contained in:
Edouard DUPIN 2016-09-12 21:07:12 +02:00
parent 9cb18e6aa9
commit 9bd29c9d5d

View File

@ -1 +1 @@
0.7.2
0.7-dev