diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-28 20:47:43 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-28 20:47:43 +0100 |
| commit | 28492256a5795ff2f72fbf181c15e84fd0d1dbff (patch) | |
| tree | 6a2f7b56f39794e7def068bd6806ea3a7e057b27 /AUTHORS | |
| parent | 88957c55bed592d2315d3e547bc2a7ace278e327 (diff) | |
ignore generated config file
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions