From 102cf5e0dbfbefad85a8df18f37d95ad3be75784 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Fri, 7 Jul 2017 17:10:07 +0000 Subject: [PATCH] Update wikipage Void-safety: Background, definition, and tools. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1874 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../void-safety-background-definition-and-tools.wiki | 1 + 1 file changed, 1 insertion(+) diff --git a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki index 59a5e302..72fb6ee1 100644 --- a/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki +++ b/documentation/trunk/eiffel/Language_reference/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki @@ -1,3 +1,4 @@ +[[Property:link_title|Background and tools]] [[Property:title|Void-safety: Background, definition, and tools]] [[Property:weight|0]] [[Property:uuid|689f62b2-5675-5ab6-cd47-d891cf3d484d]]