diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-11-23 14:40:10 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-11-23 14:40:10 +0100 |
| commit | a64cc961db8bdefcca18b8422972351fac65a443 (patch) | |
| tree | 10c0a72b997ace1b982646b83d40c59364736843 /core | |
| parent | 00aae4e42cb6ad93960955a6bd9f45e092129a89 (diff) | |
| download | docs-a64cc961db8bdefcca18b8422972351fac65a443.tar.gz docs-a64cc961db8bdefcca18b8422972351fac65a443.tar.bz2 docs-a64cc961db8bdefcca18b8422972351fac65a443.zip | |
update to design doc based on discussion with Florian
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions