summarylogtreecommitdiffstats
path: root/docs_Makefile-patch
AgeCommit message (Expand)Author
2023-06-20Gnatdoc appears broken when trying to build reference manual docs. Disabling ...Rod Kay