merged 22.05

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@2362 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eifops
2022-12-13 17:52:41 +00:00
parent bf61d20579
commit 5a7dac2a68
6 changed files with 98 additions and 24 deletions

View File

@@ -1,4 +1,4 @@
[[Property:modification_date|Mon, 20 Dec 2021 10:15:58 GMT]]
[[Property:modification_date|Mon, 20 Dec 2021 10:16:27 GMT]]
[[Property:publication_date|Mon, 20 Dec 2021 10:13:53 GMT]]
[[Property:link_title|Background and tools]]
[[Property:title|Void-safety: Background, definition, and tools]]