diff options
| author | Sibi Prabakaran <sibi@psibi.in> | 2022-12-24 09:07:26 +0530 |
|---|---|---|
| committer | Jim Blandy <jimb@red-bean.com> | 2023-01-08 16:22:06 -0800 |
| commit | 47e7c849fffe5cbc73f454e0fdb9d1f17e46c58f (patch) | |
| tree | 069c44a0ed76afb3d0b19ebdc4ea4aec48930611 /.github | |
| parent | 1f421fb9177afedba7c3759ad5f15776ea38a950 (diff) | |
| download | rust-mode-47e7c849fffe5cbc73f454e0fdb9d1f17e46c58f.tar.gz | |
Abilty to customize the enabling of URL shortener for playpen
This makes me share the Playpen URL directly. And this is kind of
necessary for me since the region I'm out of currently, the URL shortener
domain itself is blocked. Snapshot here: https://imgur.com/a/ugLLVwP
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions