site

Commit (click to see the diff): a2e8057117d3f54b00dfdbc218725c2547085834

obsolete: smarter initialisation of obsolete stuff from disk.

Pierre-Yves David

Files in this revision