diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-10-25 14:01:20 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-10-25 14:01:20 +0200 |
| commit | e6267e61d5e80f81735769b81e6d2694303799e7 (patch) | |
| tree | e91dc22706852188fab054cb79da157179ba3f4a /.gitmodules | |
| parent | ddb5987c66f6904fb7eb5f956b57395450b7f315 (diff) | |
misc minor edits, and a FIXME for Jeff
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions