CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/08/22 14:27:46
Modified files:
lang/compcert : Makefile distinfo
Removed files:
lang/compcert/patches: patch-doc_ccomp_1
patch-driver_Frontend_ml
Log message:
upstream updated docs; no need for some of our local patches
