Added thin borders to ec options table

Author:halw
Date:2011-02-22T16:43:39.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@769 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-02-22 16:43:39 +00:00
parent 2437d82181
commit 501495f6a1

View File

@@ -21,7 +21,7 @@ In the second form:
The table below lists the available ''options'', the arguments they require, and their effect: The table below lists the available ''options'', the arguments they require, and their effect:
{| {| border="1"
|- |-
| '''OPTION''' | '''OPTION'''
| '''ARGUMENTS''' | '''ARGUMENTS'''