diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29T18·08+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-29T18·08+0000 |
| commit | cbc1f57b48dc9b8f0c679e004ee407d3cf27d5c5 (patch) | |
| tree | 0cf958738eddad6a20496b4365ebd1b5b95878fc /scripts | |
| parent | 7377195297e66c02e91caab700e7984e4c6a904a (diff) | |
* Undocument the "system" option. No sane person would use it :-)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions