diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-04-09 16:36:35 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-04-09 16:36:35 +0200 |
| commit | 3251ca082abdcc16061ad1976eb1830ade3a40c5 (patch) | |
| tree | fb84f1e01cd10fd34851a6cd7e761d738bf5c88c /.gitignore | |
| parent | 5fc1764db37d0fc68d0883bb272a06774274bfc3 (diff) | |
do not upgrade gana to master on bootstrap (see #6839)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions