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 /src/Makefile.am | |
parent | 7377195297e66c02e91caab700e7984e4c6a904a (diff) |
* Undocument the "system" option. No sane person would use it :-)
Diffstat (limited to 'src/Makefile.am')
0 files changed, 0 insertions, 0 deletions