Re: [PATCH gnumach] Delete include/mach/default_pager_helper.defs

2023-04-10 Thread Samuel Thibault
Applied, thanks! Flavio Cruz, le dim. 09 avril 2023 22:35:10 -0400, a ecrit: > Not used. > --- > Makefrag.am| 1 - > include/mach/default_pager_helper.defs | 53 -- > 2 files changed, 54 deletions(-) > delete mode 100644 include/mach/default_p

[PATCH gnumach] Delete include/mach/default_pager_helper.defs

2023-04-09 Thread Flavio Cruz
Not used. --- Makefrag.am| 1 - include/mach/default_pager_helper.defs | 53 -- 2 files changed, 54 deletions(-) delete mode 100644 include/mach/default_pager_helper.defs diff --git a/Makefrag.am b/Makefrag.am index 5d4f2c48..50389ad7 100644 -