diff options
author | Tom Smeding <tom@tomsmeding.com> | 2023-07-09 16:23:40 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2023-07-09 16:23:40 +0200 |
commit | 4b41e11d6116c5552f396ea1cc261b95bfc81222 (patch) | |
tree | d7d069983e5ac912a8c15d840f6f1ff471a73d07 /.gitmodules |
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..9e42a4e --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "terminal-io-hs"] + path = terminal-io-hs + url = https://git.tomsmeding.com/terminal-io-hs |