diff options
| author | Ben Sima <ben@bsima.me> | 2020-07-10 22:15:16 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2020-07-10 22:15:16 -0700 |
| commit | 56990a680ab94110c27695bc737ae51b954b993c (patch) | |
| tree | 3026c22effea68f5ddf8f77b3daa5e5f8cd670fc /.ghci | |
| parent | a7f603d83933e2be1d0e999888f013207c2d901c (diff) | |
dev: add trusted users for remote builds
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions