diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·11+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-05-07T13·11+0000 |
| commit | f751c2966b98d14bbb0337abeca1cb1106e09136 (patch) | |
| tree | c2cc2d982eacb6d7ea7ae5acaa9e167d60f538b1 /tests/check-refs.sh | |
| parent | 404996ca1f2089511b90666ce092377ade830139 (diff) | |
* Don't have a bugs section in the manual. Bugs should be kept in the
bug tracker.
Diffstat (limited to 'tests/check-refs.sh')
0 files changed, 0 insertions, 0 deletions