diff options
| author | Amin Bandali <bandali@gnu.org> | 2023-09-13 21:40:01 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2023-09-13 21:40:01 -0400 |
| commit | 8bad154d05effa671753e10a429422b14e4aa1da (patch) | |
| tree | 2740f7426dff01b84851c6b96eadd2dfc11025c9 /.gitmodules | |
| parent | f133d2e70ad0ce9fbfb7f874a46d6983ad0f33f7 (diff) | |
| download | configs-8bad154d05effa671753e10a429422b14e4aa1da.tar.gz configs-8bad154d05effa671753e10a429422b14e4aa1da.tar.xz configs-8bad154d05effa671753e10a429422b14e4aa1da.zip | |
Actually, drop the whole thing; I'd like to see compilation always
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions