Gilles 12c9a04414 Development branch name is "develop". ... As per the blog post referred to in the "howto".		2016-02-25 17:19:58 +01:00
..
development.howto.txt	Development branch name is "develop".	2016-02-25 17:19:58 +01:00