diff options
| author | Přemysl Eric Janouch <p@janouch.name> | 2023-06-10 12:06:52 +0200 |
|---|---|---|
| committer | Přemysl Eric Janouch <p@janouch.name> | 2023-06-10 12:12:42 +0200 |
| commit | 2ed1c005c9f95c7b33e99cab38a53fc562c920bb (patch) | |
| tree | 4e718707c4ed6a4dff0637009de430e16a55635f /.gitmodules | |
| parent | 26e73711b10a533fc45fa8839da9c6a7045fafe6 (diff) | |
| download | tdv-2ed1c005c9f95c7b33e99cab38a53fc562c920bb.tar.gz tdv-2ed1c005c9f95c7b33e99cab38a53fc562c920bb.tar.xz tdv-2ed1c005c9f95c7b33e99cab38a53fc562c920bb.zip | |
Import liberty for its manpage generator
It cannot parse the page well, so it's just a convenience fallback.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 67fbcf5..0db6604 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "termo"] path = termo url = https://git.janouch.name/p/termo.git +[submodule "liberty"] + path = liberty + url = https://git.janouch.name/p/liberty.git |