Revision 0aab7812d747c91a33008422f6ab480c91bc884e authored by David Gowers on 14 September 2010, 05:19:08 UTC, committed by David Gowers on 14 September 2010, 05:22:55 UTC
Also, ensure the config file is always saved, so that new or renamed options get into it. I like to set the option to "fu'ivla;cmene" and occasionally add lujvo to that list. Type and number of results omitted are tracked, and printed immediately before search results.
1 parent 6a10da6
Computing file changes ...