|
|
a2586e865a
|
constructors
|
2020-09-14 17:17:43 +02:00 |
|
|
|
87d14aed6e
|
constructors
|
2020-09-14 17:15:56 +02:00 |
|
|
|
62f9cd155a
|
export InitStatus
|
2020-09-14 17:10:08 +02:00 |
|
|
|
528de596f2
|
import initstatus
|
2020-09-14 17:08:28 +02:00 |
|
|
|
4af4907c32
|
export InitStatus
|
2020-09-14 17:07:31 +02:00 |
|
|
|
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 |
|
|
|
35e395960c
|
redundant
|
2020-09-12 14:40:05 +02:00 |
|
|
|
93fef0c8be
|
skeleton
|
2020-09-12 14:29:30 +02:00 |
|
|
|
dbfc755870
|
all done
|
2020-09-12 01:50:56 +02:00 |
|
