| commit | b2a1de4679c9141b03781551356c51cd48f20519 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 13 22:28:36 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 13 22:28:36 2001 +0000 |
| tree | 6d8a64b147840f2cbfbab28dcddb0cae0fbb79c4 | |
| parent | d4b83619102c1e0d51fac7c3773ed1943ed516fa [diff] |
Allow [] after a parameter name. We currently take this to be the same as * in front, which isn't 100% correct but good enough.