diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-05-10T10·06+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-05-10T10·06+0200 |
| commit | 2b3c1b3a889cf8f2c210b71b208b9e14fc8fb6a6 (patch) | |
| tree | a6751a0967a7396912f645f97a85c1e8b7717843 /doc/manual/installation | |
| parent | 38def176271c97a427febaf381a32bebe6b3790b (diff) | |
Remove mention of default since we already know the default
Diffstat (limited to 'doc/manual/installation')
0 files changed, 0 insertions, 0 deletions