From e6322e23958a937fa01960f8ce320717b9863253 Mon Sep 17 00:00:00 2001 From: JPR Date: Tue, 21 May 2019 23:07:55 +0200 Subject: Fixing typos - Part 1 --- Makefile.dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.dev') diff --git a/Makefile.dev b/Makefile.dev index 13b85dfad4..6057696375 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -8,7 +8,7 @@ ## # (see LICENSE file for the text of the license) ## ########################################################################## -# Extra targets for developpers : +# Extra targets for developers : # debug printers, revision, partial targets ... ######################### -- cgit v1.2.3