diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-04-29 02:10:24 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-08-04 12:37:47 +0200 |
| commit | b5ca3d12b6f3414302363c8ae362334c020448c7 (patch) | |
| tree | 2eb08abb09e0e4c3e7f8517a6d85c22c04bb0950 /Makefile.config.in | |
| parent | e90586c0a40cf59df9d39407dcc49d5944a8b853 (diff) | |
reword details on keeping closure property
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions