From fc4d0f86daef4d00a2a7f7a251adcf97de601eb5 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sat, 7 Mar 2020 14:33:16 +0200 Subject: [PATCH] ; * etc/NEWS: No need to document Ido news. --- etc/NEWS | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/NEWS b/etc/NEWS index e5751409783..357d2ef8066 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -857,6 +857,7 @@ to allow controlling how the conversion to text is done. ** Ido +--- *** New user option 'ido-big-directories' to mark directories whose names match certain regular expressions as big. Ido won't attempt to list the contents of such directories when completing file names. -- 2.39.5