diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19 16:27:07 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-19 16:27:07 +0000 |
| commit | e13da525a7c16200f451fafb832993b47d407418 (patch) | |
| tree | 9fc4ca4e3df2c0505b68d7cbae7b438009aef5af /doc/manual | |
| parent | 5d250ad1eae704106c7030ab984c929d7aef8f8f (diff) | |
* Files in the info directory starting with "." are temporary files
and don't indicate path validity.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions