about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2015-11-25T14·42+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2015-11-25T15·12+0100
commitefd6a8c9f63714a9d9e6020211e78de6fc5f8c11 (patch)
tree7f2062ed0594714a4f77290956a5678d2333ea97 /doc/manual
parent0ab4d905e7051ab76dc483392e0759bbfc87c70e (diff)
Fix Ubuntu/Debian/Fedora builds
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions