Mercurial Hosting > junotu
changeset 108:7852a62809ba
Minor formatting
author | Fox |
---|---|
date | Mon, 29 May 2023 01:35:51 +0200 |
parents | e4588b8a8ddc |
children | c5bd33a186fa |
files | src/junotu/Database.java |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/src/junotu/Database.java Sat Apr 08 00:14:40 2023 +0200 +++ b/src/junotu/Database.java Mon May 29 01:35:51 2023 +0200 @@ -109,7 +109,7 @@ System.out.print("Database: resaving all cards without modifying edit timestamp..\n"); try { TopDocs topDocuments = luceneSearcher.search( - new MatchAllDocsQuery(), + new MatchAllDocsQuery(), 1000000 );