aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/bugs.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-06 16:38:32 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-06 16:38:32 +0000
commit1ff986d51a4fc7f77a80f5c23351f9d2cbb26550 (patch)
tree7a94c0639c7e741a5ec27a31f5380457a446fcce /doc/manual/bugs.xml
parent2f0b93904bf88e9d2bf9d623b35991dd6dd0c521 (diff)
* book -> manual
Diffstat (limited to 'doc/manual/bugs.xml')
0 files changed, 0 insertions, 0 deletions