pijul nest
guest › [sign in] [explore]
{/} code [~] changes [>] discussions [*] jobs

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.
question
Update help
Created by HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp on Nov 26, 2021, 1:40 AM
ZJRHJSDJV32OME2475MCSKUZWZZ4O35VS5MJWU2RCSRC37QOVRLQC
State: EK5XPL4N5HB4Z4XOYENPPM5QCOVR2GFTPNCTPY2VINLY6U2IU5KAC
question
Fix flake for lean lsp
Created by HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp on Nov 26, 2021, 1:40 AM
JZNIUTSVIJ66FRYZI33YYUAHAKUVD4DEXNV7NLSA4VG2QHZFQ62QC
State: LZZCOISRCKFVJVOIML62R2X7AINRWGDZ3L6TPG4VKE5SC63RQTEAC
question
Add a basic CLI
Created by HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp on Nov 2, 2021, 2:18 PM
DOVIOWRFFIG6HCDZMS5E6I3DPYGDYVHMF4YYK6FKFMAMC3E5ZA3AC
State: 6YNFCMFH6HAPP3BVEBN7LIUBJMNFPWL6SUB7NZ55CXICU5RQYHJAC