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 );
