Go to the source code of this file.
The contents of this file is extracted by the documentation generator, and forms the front matter and introductory text to this manual. The documentation for this file is, therefore, apparently empty.
Definition in file README.
1.4.4