diff options
| author | Patrick McDermott <pehjota> | 2018-06-25 00:09:24 (EDT) |
|---|---|---|
| committer | Patrick McDermott <pehjota> | 2018-06-25 00:09:24 (EDT) |
| commit | 0c034e35e0b6ec0674747f6596f16b8e80af7cbe (patch) | |
| tree | 51be6b1f5213b626b9411f4b25ef5379fde115e7 /doc/install | |
| parent | 84887f06fd471657fd4a1309e2e618df67258fc0 (diff) | |
doc/install: Remove link to dev/prokit
Users might visit that page instead of doc/install/prokit, which
provides instructions to download, build, and install prokit (and links
to dev/prokit anyway).
Diffstat (limited to 'doc/install')
0 files changed, 0 insertions, 0 deletions