diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-02-07 11:06:11 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-02-07 11:06:11 +0100 |
| commit | adeca20fe2ee5acf08511d315622c15bc4441449 (patch) | |
| tree | 09e76b8b8d54a20d9c551900705e9d45a4541d12 /bootstrap | |
| parent | f7a1f41eeefaa28eddd0d333447f24aa54313d3a (diff) | |
-update .gitignore
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions