site

Commit (click to see the diff): 9906560f585e14c9eaad1831fe2b58b12cd8009a

[obsolete] issue a warning when parent of current directory is obsolete.

Pierre-Yves David

Files in this revision