diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-07-25 08:54:36 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-07-25 08:54:36 -0400 |
| commit | 40210401b135c80dd15c0a180491fe175a7d7fb9 (patch) | |
| tree | 204d24baf72fffb89cf96f65667a77397ac821be /.gitconfig | |
| parent | Switch github hosted git submodule to use https (diff) | |
New proof general version
Diffstat (limited to '.gitconfig')
0 files changed, 0 insertions, 0 deletions