diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-29 17:07:04 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-29 17:07:04 +0200 |
| commit | 45e29f50e404902fb27297fd8e79afbeac60016a (patch) | |
| tree | eeb9e5aed9bd4df6f4b6ea76dea96d1232f2eb64 /.gitmodules | |
| parent | e68d07fc257d4b6fee51f5ed24950368bbea51ad (diff) | |
edits to paper
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions