Editorial fix: remove line in .bib file

This commit is contained in:
gusthoff
2025-11-08 04:27:13 +01:00
parent f5f2fb2b9a
commit 934cba3fec

View File

@@ -1,5 +1,3 @@
.. Bibliography
@manual{AdaCore_2016,
organization = {AdaCore},
title = {{High-Integrity Object-Oriented Programming in Ada, Version 1.4}},