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/manual | |
| parent | c129fc6ee8a8bf6de633dc1b91869a0c428ca75c (diff) | |
Remove obsolete references to manifests
Closes #323.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions