diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-02-28 10:03:55 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-02-28 16:13:30 +0100 |
| commit | d7bbf934a042b84193fd7092b8632536f3279631 (patch) | |
| tree | 287e9688e62c4de59d974eac8643fd65497d4bc2 /contrib | |
| parent | 58eb3d95fceb0742bed029944d49b8096ee390c2 (diff) | |
make DB generation work with new CS logic
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions