From 8d3b9572cd5c690dc5c9cf6138f55b7f9cb0261a Mon Sep 17 00:00:00 2001 From: Stefano Cordio Date: Sat, 4 Mar 2023 17:28:07 +0100 Subject: [PATCH] Fix typo --- docs/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index.md b/docs/index.md index 7a5b65327..d5a2dc90d 100644 --- a/docs/index.md +++ b/docs/index.md @@ -523,7 +523,7 @@ The plugin enables you to add any other mapping you want.* I.e., if you are deve ``` -You can use composed-extensions like *.apt.vm and redefine them, but you will have to nake sure that the mapping of `apt.vm` is _before_ the mapping of the `vm` extension. The order in the mapping section is important: extensions seen first take precedence. +You can use composed-extensions like *.apt.vm and redefine them, but you will have to make sure that the mapping of `apt.vm` is _before_ the mapping of the `vm` extension. The order in the mapping section is important: extensions seen first take precedence. __Java packages__