summaryrefslogtreecommitdiff
path: root/ghci
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2020-03-31 13:26:00 -0700
committerBen Sima <ben@bsima.me>2020-03-31 13:29:46 -0700
commit721cca4b1372e222c6841ddc57bb952271d72dc7 (patch)
treefcb6d81e7b5a7da87f7685ff93cf6c2633d346f7 /ghci
parent2d2481ac68afb824342eaef301ab471d2128c289 (diff)
Use ./serval to deploy serval production server
The scheme version of this is currently useless anyway.
Diffstat (limited to 'ghci')
0 files changed, 0 insertions, 0 deletions