From 04bce7b3b340c7cc2e2f123e6ae4c407b395f02f Mon Sep 17 00:00:00 2001 From: Flavio Cruz Date: Sun, 9 Apr 2023 22:35:10 -0400 Subject: Delete include/mach/default_pager_helper.defs Not used. Message-Id: --- Makefrag.am | 1 - 1 file changed, 1 deletion(-) (limited to 'Makefrag.am') diff --git a/Makefrag.am b/Makefrag.am index 5d4f2c48..50389ad7 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -368,7 +368,6 @@ include_device_HEADERS = \ include_machdir = $(includedir)/mach include_mach_HEADERS = \ include/mach/default_pager.defs \ - include/mach/default_pager_helper.defs \ include/mach/default_pager_types.defs \ include/mach/exc.defs \ include/mach/mach.defs \ -- cgit v1.2.3