diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-03 16:08:26 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-03 16:08:26 +0100 |
| commit | 9abee82d3c9688549d50ec87153f6f3c1f973565 (patch) | |
| tree | d3ed0a5f2015cb7cd5e93821140decd6b41db9aa /.gitmodules | |
| parent | ac5635776e1c94d6220758a1714371563462518f (diff) | |
remove dead prototype
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions