diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-09-18 18:04:41 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-09-18 18:04:41 +0200 |
| commit | da69fd9c72c5060be1ee6375da5901b7cb9bf257 (patch) | |
| tree | 15dcc72a1aa438e879b3a9634ec99deed03b1ef9 /src/extensions | |
| parent | 18a2fae3b594f7ef54104b708d00641f6ed5de1e (diff) | |
prepare tables for DD31
Diffstat (limited to 'src/extensions')
0 files changed, 0 insertions, 0 deletions