anastasis: master 50ffc2d7

Author Committer Branch Timestamp Parent
Christian Grothoff Christian Grothoff master 2021-12-27 21:10 master b25c2781
Affected Issues  0007117: --disable-doc configure option ignored
Changeset fix 0007117
mod - Makefile.am Diff File