3 Commits

Author	SHA1	Message	Date
Christian Grothoff	d72816cfde	fix #6431	2020-07-24 12:43:33 +02:00
Christian Grothoff	c8a370d911	make GANA update more compatible with incremental compilation (fixes #6431)	2020-07-22 21:27:16 +02:00
Christian Grothoff	d9e871b523	add helper script for updating GANA submodule	2020-07-21 18:25:04 +02:00