|
|
b939d9665d
|
add pipe for plugins
|
2020-09-14 15:46:45 +02:00 |
|
|
|
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 |
|
|
|
618d7f6cb4
|
try to build all plugins
|
2020-09-12 23:56:49 +02:00 |
|
|
|
c9bdb637ce
|
unbreak namespaces
|
2020-09-12 21:44:21 +02:00 |
|
