Skip to content

Commit

Permalink
Editorial change: remove empty sections
Browse files Browse the repository at this point in the history
  • Loading branch information
gusthoff committed Jan 25, 2025
1 parent 5113a29 commit 5732f4d
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
2 changes: 0 additions & 2 deletions content/courses/ada-idioms/chapters/inheritance_idioms.rst
Original file line number Diff line number Diff line change
Expand Up @@ -573,8 +573,6 @@ so we are using private types throughout. That includes the child type, and, as
we saw, allows us to control the compile-time visibility to the parent type.


Notes
-----


.. only:: builder_html
Expand Down
3 changes: 0 additions & 3 deletions content/courses/ada-idioms/chapters/interrupt_handling.rst
Original file line number Diff line number Diff line change
Expand Up @@ -856,9 +856,6 @@ Notes
urgent priorities.


Bibliography
------------

.. todo::

Ravenscar Guide??? Surely there is some document that first introduced
Expand Down

0 comments on commit 5732f4d

Please sign in to comment.