diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-12-31 22:31:32 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-12-31 22:31:32 +0100 |
| commit | 6b70f2e45476c573da5d367734f964ded80659eb (patch) | |
| tree | b3625a24ba369dc51c9db2a6db708026603578fc /debian | |
| parent | b5534977a354c588954c30d28e90116dc4d11d0a (diff) | |
keep helpers in normal bin/ dir
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions