diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-08 10:29:55 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-08 10:29:55 +0100 |
| commit | 97f71c83a70c8cf0130cadb8b0b0405e2dc059f7 (patch) | |
| tree | 2bdd1ab8f2c698bca7149be4a50e235a595cdf5d /.gitmodules | |
| parent | 713b9efb4222193419f8314375218e0496e545c7 (diff) | |
fix #6033: remove master_pub field
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions