From f7173b9d668bcb9aeddcd34cbb1acc8692b02152 Mon Sep 17 00:00:00 2001 From: "Adam D. Barratt" Date: Thu, 5 Oct 2017 17:54:49 +0000 Subject: [PATCH] doc/hints.md: fix another couple of "Britney" -> "britney" Signed-off-by: Adam D. Barratt --- doc/hints.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/hints.md b/doc/hints.md index 288313e..de530ee 100644 --- a/doc/hints.md +++ b/doc/hints.md @@ -215,7 +215,7 @@ compared to the original situation, the action is committed. This hint is primarily useful if britney fails to compute a valid solution for a concrete problem with a valid solution. Although, in -many cases, Britney will generally figure out the solution on its own. +many cases, britney will generally figure out the solution on its own. Note that for `easy` the `` must have at least two elements. There is no use-case where a single element for easy will @@ -239,7 +239,7 @@ rather expensive and should be used sparingly. This hint is primarily useful if britney fails to compute a valid solution for a concrete problem with a valid solution. Although, in -many cases, Britney will generally figure out the solution on its own. +many cases, britney will generally figure out the solution on its own. *Caveat*: Due to "uninstallability trading", this hint may cause undesireable changes to the target suite. In practise, this is rather