diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-30 17:57:44 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-30 17:57:44 -0400 |
| commit | dc8184b76bc10716a8f7b442559bc03df453e967 (patch) | |
| tree | e9184e850b91484726b3f5ef33255ffb633412e8 /.gitmodules | |
| parent | f7fddd5fc4d2c8e3314d1158076d6b5386c46d86 (diff) | |
| download | configs-dc8184b76bc10716a8f7b442559bc03df453e967.tar.gz configs-dc8184b76bc10716a8f7b442559bc03df453e967.tar.xz configs-dc8184b76bc10716a8f7b442559bc03df453e967.zip | |
remove vestigial other/ directory
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions