diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-07-10 15:26:53 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-07-10 15:26:53 +0200 |
| commit | 66f9a5b5e5431b6a24352e8ce95e30c8b00a6d92 (patch) | |
| tree | 0c2f2a0da1827ca252fe61bba02519298d3f3235 /bootstrap | |
| parent | f4abc1c369ad3becf3d995106c6e1e9ee5f89257 (diff) | |
-simplify
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions