On 06/07/2012 08:17 PM, julien2412 wrote: > Then I searched with Opengrok about ODefs3, it seems unused. > > Did I miss something or could I remove it ? Looks like it can be removed, indeed. Stephan