> On 26 Oct 2016, at 23:57, Mahircan Gul <mahircg at mpi-sws.org> wrote: > > The change above should get your development process up and running! The tutorials need to be updated at some point, though. I fully agree. This is an easy task to get started contributing to LITMUS^RT. Volunteers are very welcome. - Björn