From bcf061abf932f9adf243554c22185d323f5ff2ea Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Tue, 12 Apr 2022 02:33:48 +0200 Subject: People should really use apt instead of apt-get nowadays --- microkernel/mach/gnumach/building.mdwn | 6 +++--- microkernel/mach/mig/gnu_mig/building.mdwn | 6 +++--- 2 files changed, 6 insertions(+), 6 deletions(-) (limited to 'microkernel/mach') diff --git a/microkernel/mach/gnumach/building.mdwn b/microkernel/mach/gnumach/building.mdwn index d3fe670a..aed87046 100644 --- a/microkernel/mach/gnumach/building.mdwn +++ b/microkernel/mach/gnumach/building.mdwn @@ -26,7 +26,7 @@ You can either use the git repository (see Building and Installing ... a _.deb_ file -- cgit v1.2.3