diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-02-01T09·39+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-02-01T09·39+0100 |
commit | 855699855fd271e0b8e43001bf1793ca3ef9b71c (patch) | |
tree | 64bf1198f8e409a1851162aacc5eb893c344e924 /doc | |
parent | c129fc6ee8a8bf6de633dc1b91869a0c428ca75c (diff) |
Remove obsolete references to manifests
Closes #323.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions