summaryrefslogtreecommitdiffstats
path: root/dev
diff options
context:
space:
mode:
authorPatrick McDermott <pehjota>2018-06-25 00:09:24 (EDT)
committer Patrick McDermott <pehjota>2018-06-25 00:09:24 (EDT)
commit0c034e35e0b6ec0674747f6596f16b8e80af7cbe (patch)
tree51be6b1f5213b626b9411f4b25ef5379fde115e7 /dev
parent84887f06fd471657fd4a1309e2e618df67258fc0 (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 'dev')
0 files changed, 0 insertions, 0 deletions