diff options
author | Griffin Smith <grfn@gws.fyi> | 2021-06-05T15·00+0200 |
---|---|---|
committer | grfn <grfn@gws.fyi> | 2021-06-05T15·25+0000 |
commit | e38e826862beb732721b80e3fbfa02da1fab9138 (patch) | |
tree | ebc691f89b2e5290a6f2d73355c512a0ea24cc8d /third_party/rapidcheck | |
parent | bf9857beff50f534a04a080746f52fee8904be12 (diff) |
feat(gs/emacs): Update irc-connect command for new servers r/2643
No longer connecting to freenode - but I *am* now connecting to both hackint and libera, so add a prompt to the command to decide which one I connect to Change-Id: Iae315ddab753cf9c365cbee7abd94213af656d4c Reviewed-on: https://cl.tvl.fyi/c/depot/+/3177 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/rapidcheck')
0 files changed, 0 insertions, 0 deletions