| 
						
					 | 
					
						
						
							
						
						fae104d094
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-08-25 16:56:31 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3d241ad30a
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-08-18 23:26:06 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						749bb00c84
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-30 14:14:44 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						08d81ef78b
					 | 
					
						
						
							
							search: Avoid redundant results by placing pages into vector instead of returning searchresult for each page
						
						
						
						
						
						
					 | 
					
						2019-04-26 15:31:42 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7107c90aeb
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-25 10:37:41 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						10f05af6ac
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-16 08:56:06 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						02ce27fc9f
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-14 21:47:07 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						42a185cdd8
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-07 20:19:25 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						4d53b874e6
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2019-04-06 17:22:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						ac921c691c
					 | 
					
						
						
							
							updatecd TODO
						
						
						
						
						
						
					 | 
					
						2018-12-29 20:21:38 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						53cf73cc8d
					 | 
					
						
						
							
							Wait till pdfworker finishes before new search, cancel running
						
						
						
						
						
						
					 | 
					
						2018-08-31 20:51:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						d0b9997fb8
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2018-08-12 23:14:52 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						345118bf9c
					 | 
					
						
						
							
							updated TODO
						
						
						
						
						
						
					 | 
					
						2018-08-12 17:22:30 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						7347c30d4e
					 | 
					
						
						
							
							added TODO
						
						
						
						
						
						
					 | 
					
						2018-08-12 17:06:43 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |