On 10 March 2015 at 23:39, Tammo van Lessen <tvanles...@gmail.com> wrote:
> b) to put it even > into a seperate git repository, which would allow us (or makes it easier) > to release the console independently from ODE. > This sounds like the best option to me as well.
