small-updates #30
mfocko
commented 2021-02-07 13:29:27 +01:00
Owner
No description provided.
mfocko
added 2 commits 2021-02-07 13:29:27 +01:00
Remove hlint hints since they're unused
6d9bb3cdbf
Update shell setup
66dab16bfd
mfocko
merged commit 5dbc666609 into main 2021-02-07 13:29:51 +01:00
mfocko
referenced this pull request from a commit 2021-02-07 13:29:51 +01:00
Merge pull request 'small-updates' (#30) from small-updates into main
mfocko
deleted branch small-updates 2021-02-07 13:29:54 +01:00
Loading…
Reference in a new issue
No description provided.
Delete branch "small-updates"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?