about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-09-05T11·34+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-09-05T11·34+0000
commit89ac8db74f1241c56b05f579cc1e04056de1a6ef (patch)
tree706886351e7ffe631cb40b26172af962a333ed01 /doc/manual
parenta89a2015981ed32354ff1cc29ea41ae8d0221fbe (diff)
* Package the include directory.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions