diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-08-12 16:53:17 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-08-12 16:53:17 +0200 |
commit | 09d102e02051f978e72f89690015f82a021c8268 (patch) | |
tree | ead6c17e74813c35af94ccb05fdd41ae305b90c1 /configure | |
parent | 0e37ed3b68b8dd88ce122c054e4348423911acc5 (diff) |
fix bib entries
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions