about summary refs log tree commit diff
path: root/doc/manual/manual.xml
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2016-01-18T14·54+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2016-01-18T14·54+0100
commit71e5b937fbcfed39947d7012b06a6ef257e0d1c7 (patch)
treea1eb65ed7cab5e6ccb55bef278763d0a6c51fd22 /doc/manual/manual.xml
parent0824f407609965302446acb1381e0ce6c878d85f (diff)
Document --check
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions