mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 07:42:33 +01:00
Code Issues Packages Projects Releases Wiki Activity

m Typo fixed in response to comment.

Browse Source 
Author:halw
Date:2010-12-31T15:28:51.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@720 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2010-12-31 15:28:51 +00:00
parent ef1441a95e
commit 689d77c925
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/solutions/preferences/eiffelpreferences/eiffelpreferences-tutorial/overview.wiki
View File

@@ -19,7 +19,7 @@ So, all preferences belong to a <eiffel>PREFERENCE_MANAGER</eiffel>. The manager
has_preferences: preferences /= Void
inserted_in_preferences: preferences.has_manager (namespace)
has_namespace: namespace /= Void
namesapce_valid: not a_namespace.is_empty
namespace_valid: not a_namespace.is_empty
end
</code>