Fixing broken link to EiffelStudio section "Add a library"

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1426 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
jfiat
2015-06-04 20:36:14 +00:00
parent 8e3fcfbe0f
commit ad573a86a3

View File

@@ -17,7 +17,7 @@ As you read this documentation you will notice other concepts that are used in v
You will read more about these and other EiffelTime concepts in the detailed pages that follow. You will read more about these and other EiffelTime concepts in the detailed pages that follow.
{{note|When you use [[EiffelStudio: Project settings window|project settings]] to [[adding a library|add]] the EiffelTime library, you will see that there are library choices for different default formatting. The default EiffelTime library uses English formatting by default. However, you can choose the option that uses German or French default formatting by selecting the library whose name contains "german" or "french". }} {{note|When you use [[EiffelStudio: Project settings window|project settings]] to [[Adding a library|add]] the EiffelTime library, you will see that there are library choices for different default formatting. The default EiffelTime library uses English formatting by default. However, you can choose the option that uses German or French default formatting by selecting the library whose name contains "german" or "french". }}