Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-09 | do not upgrade gana to master on bootstrap (see #6839) | Christian Grothoff | |
2021-04-09 | do not upgrade gana to master on bootstrap | Christian Grothoff | |
2020-07-24 | fix #6431 | Christian Grothoff | |
2020-07-22 | make GANA update more compatible with incremental compilation (fixes #6431) | Christian Grothoff | |
2020-07-21 | add helper script for updating GANA submodule | Christian Grothoff | |