diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-09-16 21:34:19 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-09-16 21:34:19 +0200 |
| commit | 93ab8a2049e635fcd759bfc3d58247e22560b258 (patch) | |
| tree | dba6eba2ecb4630dfd37ca82cdff63df29ba9554 /.gitmodules | |
| parent | 3d6928fab875bb0a6831bf7696654d1ba2a7af4f (diff) | |
do not indent labels
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions