diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-08-30T14·24+0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-30T14·24+0200 |
| commit | 308689f94bf64514ee91acc8eed09e4a48b7730a (patch) | |
| tree | 9bada72f48aa79a86041d8d9c3b3abb0d264addc /doc/manual/manual.xml | |
| parent | 99828245f8f03a8b3b54a04f67e6df31235838f4 (diff) | |
| parent | 8ad2defdf0b33c34e48773b501e35bfdbbb936f7 (diff) | |
Merge pull request #2365 from erikarvstedt/fix-docs
Docs: Fix install prefix
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions