diff options
author | Chris Johns <chrisj@rtems.org> | 2019-02-08 06:03:43 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-02-13 08:52:01 +1100 |
commit | ec95748f03ca6f45e60e32e3dc5b221cc168d803 (patch) | |
tree | 1fbb8083fe46904c6f5882614e09766c0481cdd7 /posix-users/memory_managment.rst | |
parent | Add copyright notices (diff) | |
download | rtems-docs-ec95748f03ca6f45e60e32e3dc5b221cc168d803.tar.bz2 |
Remove minted from the PDF builds.
This is feedback from the Sphinx project. See:
https://github.com/sphinx-doc/sphinx/issues/6021#issuecomment-460951653
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions