tree 6717d72592d5f80d8aac39217b1d30aa514c7857
parent cc98b82c26438f700ce25ffcea9c18e8754d8638
author Bruno Haible <bruno@clisp.org> 1480870987 +0100
committer Bruno Haible <bruno@clisp.org> 1480871340 +0100

Remove obsolete documentation.