about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2018-02-01T09·39+0100
committerEelco Dolstra <edolstra@gmail.com>2018-02-01T09·39+0100
commit855699855fd271e0b8e43001bf1793ca3ef9b71c (patch)
tree64bf1198f8e409a1851162aacc5eb893c344e924 /doc/manual
parentc129fc6ee8a8bf6de633dc1b91869a0c428ca75c (diff)
Remove obsolete references to manifests
Closes #323.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions