diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2023-04-09 22:35:10 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-04-10 19:00:26 +0200 |
| commit | 04bce7b3b340c7cc2e2f123e6ae4c407b395f02f (patch) | |
| tree | 7a554bebc78028caea55e9f280a7c63bfee1dbd9 /Makefrag.am | |
| parent | 6f10e3b8c58b0354d3ed9ea486779024b6ffcb5d (diff) | |
Delete include/mach/default_pager_helper.defs
Not used.
Message-Id: <ZDN13tll1jYc1jYh@jupiter.tail36e24.ts.net>
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 1 |
1 files changed, 0 insertions, 1 deletions
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 \ |