| commit | f6b5374ecf8a2a95f8764d4cfbda2dd5977d8f6e | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jun 13 13:39:17 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jun 13 13:39:17 2000 +0000 |
| tree | 2f39b26b6fa22815a70fdbdf5ae6ceae565caed9 | |
| parent | 846257382602e1579b041073ae469bf990873b04 [diff] |
Also add a one-line description of the "optional" directive.