Changes between Version 3 and Version 4 of BashCommandCompletion

Timestamp:

Oct 10, 2007, 9:30:05 AM (17 years ago)

Author:

Nicolas

Comment:

Use a wiki #!comment instead of an HTML comment inside #!html

BashCommandCompletion

@@ -22 +22 @@
 To use this command completion, save the following script on a file and source it in bash.
 {{{
-#!html
-<!-- instructions are needed on what exactly users are supposed to do to use the script, ie what "source it in bash" means. -->
+#!comment
+instructions are needed on what exactly users are supposed to do to use the script, ie what "source it in bash" means.
 }}}
 ----