From ba18b34b32caeef35a1b7e0c7f1fc61ec916e360 Mon Sep 17 00:00:00 2001 From: alexk Date: Mon, 28 Nov 2011 09:25:12 +0000 Subject: [PATCH] Removed top-level header as there was only one and it made contents table less readable. Author:alexk Date:2011-11-28T09:25:12.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1021 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../creating-new-void-safe-project.wiki | 2 -- 1 file changed, 2 deletions(-) diff --git a/documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki b/documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki index 01f1fb8d..bdfd2d99 100644 --- a/documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki @@ -1,8 +1,6 @@ [[Property:title|Creating a new void-safe project]] [[Property:weight|2]] [[Property:uuid|92cea2e9-b094-6380-2c5d-1cd1eb3038b4]] -=Creating a new void-safe project= - Now that we've been introduced to the Eiffel void-safe facilities, let's look at what it takes to set up a new void-safe software project. Here we'll look at the void-safety related project settings and how the can be used. Then we'll look deeper into the use of some of the void-safe tools. ==Project settings for void-safe projects==