fix start.ini

2013-08-15 12:07:47 -05:00 · 2013-08-15 12:07:47 -05:00 · 42387785bd
parent 484aa94cd0
commit 42387785bd
1 changed files with 3 additions and 3 deletions
--- a/jetty-distribution/src/main/resources/start.ini
+++ b/jetty-distribution/src/main/resources/start.ini
@ -13,9 +13,9 @@
 # as arguments, which may be either:
 #  + A property like: name=value
 #  + Activation of an option: OPTION=option
-   + The declaration of a new option: DEFINE=option
-   + An option dependency: DEPEND=option,option
-   + An option exclusion: EXCLUDE=option,option
+#   + The declaration of a new option: DEFINE=option
+#   + An option dependency: DEPEND=option,option
+#   + An option exclusion: EXCLUDE=option,option
 #  + A file of properties like: /etc/myjetty.properties
 #  + An XML configuration file like: etc/jetty-feature.xml
 #  + A start.jar option like: --dry-run