https://pantsbuild.org/ logo
#general
Title
# general
w

witty-crayon-22786

10/28/2020, 8:57 PM
but yes, you can also just nuke the directory: that will cause
pantsd
to shut itself down.