diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-05-02 06:36:58 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-05-02 06:36:58 +0200 |
| commit | 1cbba4bec1551a4662029e2899e5120cc4793c4b (patch) | |
| tree | a08bbdd6a87e4017cb598cf5028be188cc67cee0 /COPYING | |
| parent | 53e7547aaf74a0d34584e221ea92bea85c452d66 (diff) | |
fixing #4462: avoid temporary schemata altogether
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions