aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-03-03 16:08:26 +0100
committerChristian Grothoff <christian@grothoff.org>2020-03-03 16:08:26 +0100
commit9abee82d3c9688549d50ec87153f6f3c1f973565 (patch)
treed3ed0a5f2015cb7cd5e93821140decd6b41db9aa /.gitmodules
parentac5635776e1c94d6220758a1714371563462518f (diff)
remove dead prototype
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions