summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 11:32:02 +0100
committerGravatar Simon Van Casteren <simonvancasteren@localhost.localdomain>2019-12-13 11:46:57 +0100
commitbe644b0be6acd3cdeb957d46e9477ea3e16599ba (patch)
tree40691e62e95309cfacfe6fb2ecb877c85485a305 /src/sources
parentf2ada9d9761c3aa7575571fd93629b79350a1425 (diff)
Moved json and lsp code into seperate modules
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sources b/src/sources
index c407ea2a..74171365 100644
--- a/src/sources
+++ b/src/sources
@@ -280,6 +280,11 @@ $(SRC)/getinfo.sml
$(SRC)/json.sig
$(SRC)/json.sml
+$(SRC)/fromjson.sig
+$(SRC)/fromjson.sml
+
+$(SRC)/lspspec.sml
+
$(SRC)/lsp.sig
$(SRC)/lsp.sml