site

Commit (click to see the diff): 774932a6cc0d7e845f8a41a5506fe74ca6250e91

[obsolete] rationalize doc header.

Pierre-Yves David

Files in this revision