diff options
| author | Amin Bandali <bandali@gnu.org> | 2020-08-10 22:45:41 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2020-08-10 22:45:41 -0400 |
| commit | bb7f12c2100e7a61539eaa5a784ff84dfc1d3ad2 (patch) | |
| tree | a0293dd12bf0d6cd0dc0779663ba63944351ec8c /.gitmodules | |
| parent | 35c0de5e8ba60985e69a4b24b6a5bf26d557e008 (diff) | |
| download | configs-bb7f12c2100e7a61539eaa5a784ff84dfc1d3ad2.tar.gz configs-bb7f12c2100e7a61539eaa5a784ff84dfc1d3ad2.tar.xz configs-bb7f12c2100e7a61539eaa5a784ff84dfc1d3ad2.zip | |
Assimilate rt-liberation ed929f5
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 82fc6d9..0e5e049 100644 --- a/.gitmodules +++ b/.gitmodules @@ -96,6 +96,14 @@ [submodule "rich-minority"] path = lib/rich-minority url = https://github.com/Malabarba/rich-minority.git +[submodule "rt-liberation"] + path = lib/rt-liberation + url = https://git.savannah.gnu.org/git/rtliber.git + info-path = doc + # rt-liberation creates doc/{dir,rt-liberation.info} files, which + # make git think that the submodule is dirty. so, let's ignore + # the untracked files of rt-liberation's submodule + ignore = untracked [submodule "s"] path = lib/s url = https://github.com/magnars/s.el.git |