Boris Jerkson
|
e7f8a4d95b
|
move the plugins repo
|
2023-01-06 15:08:30 -08:00 |
|
dupa dup
|
e7c03d3608
|
unfuck this on nix
|
2022-12-06 16:48:54 -08:00 |
|
Jon Doe
|
369b7f63f0
|
stdio works now sort of
|
2020-09-22 16:52:52 +02:00 |
|
Jon Doe
|
aea2f79138
|
lts-16.13 + maybe call those plugins with make 'srcPlugins' because it's going to be a massive PITA to develop them if I have to build them with ghc --make
|
2020-09-13 16:06:16 +02:00 |
|
Jon Doe
|
618d7f6cb4
|
try to build all plugins
|
2020-09-12 23:56:49 +02:00 |
|
Jon Doe
|
dbfc755870
|
all done
|
2020-09-12 01:50:56 +02:00 |
|