diff options
| author | Camil Staps | 2018-02-08 08:44:57 +0100 |
|---|---|---|
| committer | Camil Staps | 2018-02-08 08:44:57 +0100 |
| commit | 62f50c52bd2234e5715474fa2aeb7fd36257d6db (patch) | |
| tree | e129311f75e944858b2ce0e4f4140ab23751d13a /.gitmodules | |
| parent | Integrate pretty printer (diff) | |
Add example programs; Main.hs using stdin
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..fe1a037 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "test/spl-test-programs"] + path = test/spl-test-programs + url = https://github.com/mklinik/spl-test-programs |