Block a user
jtdaugherty
synced and deleted reference 2024-09-29 00:28:20 +03:00
refs/tags/refs/pull/515/merge
at jtdaugherty/brick from mirror
jtdaugherty
synced commits to refs/tags/2.4 at jtdaugherty/brick from mirror
2024-07-06 03:56:28 +03:00
jtdaugherty
synced new reference refs/tags/2.4 to jtdaugherty/brick from mirror
2024-07-06 03:56:28 +03:00
jtdaugherty
synced new reference refs/tags/2.3.2 to jtdaugherty/brick from mirror
2024-07-01 01:26:33 +03:00
jtdaugherty
synced commits to refs/tags/2.3.2 at jtdaugherty/brick from mirror
2024-07-01 01:26:32 +03:00
jtdaugherty
synced and deleted reference 2024-06-30 09:06:44 +03:00
refs/tags/refs/pull/511/merge
at jtdaugherty/brick from mirror
bd2225259e
Remove useless TODOs
d09f31e789
Merge pull request #511 from xsebek/keybinding-name-from-just
7015b403ba
Replace keybinding name fromJust with maybe
jtdaugherty
synced commits to refs/pull/511/head at jtdaugherty/brick from mirror
2024-06-30 00:56:23 +03:00
7015b403ba
Replace keybinding name fromJust with maybe
jtdaugherty
synced commits to refs/pull/511/merge at jtdaugherty/brick from mirror
2024-06-30 00:56:23 +03:00
37d40cdb5c
Merge
7015b403ba
into 764e66897e
7015b403ba
Replace keybinding name fromJust with maybe
764e66897e
Merge pull request #508 from kquick/filebrowser_trailing_slash
82749eda23
Remove trailing slash from FileBrowser initial directory specification.
843a05a86e
README: sort featured projects by name, but case-insensitively
29cc54ff6f
README: sort featured projects by name
jtdaugherty
synced and deleted reference 2024-01-08 03:10:20 +03:00
refs/tags/refs/pull/497/merge
at jtdaugherty/brick from mirror
bd22179ea4
Merge pull request #497 from jhrcek/jhrcek/update-ci
88f501c0e0
Add ghc 9.6 and 9.8 to CI config