diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-24 18:43:53 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-24 18:43:53 -0500 |
| commit | 426cec7a80db7a16d4b820e27996f05a68f99977 (patch) | |
| tree | f9940904b46ccf133be610d70226fb2257ccf0c4 /.gitmodules | |
| parent | c31b1ac02d0c0b4c375384dc72cc26073ecb526c (diff) | |
| download | configs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.gz configs-426cec7a80db7a16d4b820e27996f05a68f99977.tar.xz configs-426cec7a80db7a16d4b820e27996f05a68f99977.zip | |
[emacs][wip] fix proof general
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions