From 5071fc714809ee8c6a9e4d49c676d7779cc5b894 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Sun, 17 Jan 2021 08:44:46 -0500 Subject: install_system(), session_end(): Remove prokit dir --- (limited to 'man/prokit-build.1in') -- cgit v0.9.1