about summary refs log tree commit diff
path: root/dev-shell
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 /dev-shell
parent0824f407609965302446acb1381e0ce6c878d85f (diff)
Document --check
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions