An error occurred while fetching folder content.
Benno Schulenberg
authored
There are just a handful of source files for the documentation -- it is wasteful and cumbersome to have these in separate directories. Also: remove the French man pages -- they are too far out of date. (And anyway, we should acquire a general framework for translating the documentation.)
Name | Last commit | Last update |
---|---|---|
.. |