Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								7cd0443f9c
								
							
						 | 
						
							
							
								
								fixup the indexing
							
							
							
							
							
						 | 
						
							2023-10-19 14:01:25 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								005b69dd47
								
							
						 | 
						
							
							
								
								fix help string
							
							
							
							
							
						 | 
						
							2023-10-16 11:36:57 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								318d603c51
								
							
						 | 
						
							
							
								
								fixup the timestamp-sourcing script
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								45a95ef439
								
							
						 | 
						
							
							
								
								switch title to name in search machinery
							
							
							
							
							
						 | 
						
							2023-10-16 11:34:26 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								f8ae6710e8
								
							
						 | 
						
							
							
								
								use unicode-aware tokenizer separator
							
							
							
							
							
						 | 
						
							2023-09-07 22:14:32 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								b00646faab
								
							
						 | 
						
							
							
								
								add proper licenses
							
							
							
							
							
						 | 
						
							2023-07-21 10:15:11 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								
								 Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								0749bee908
								
							
						 | 
						
							
							
								
								include tags in search
							
							
							
							
							
						 | 
						
							2023-07-16 19:33:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								91900a323c
								
							
						 | 
						
							
							
								
								add a script for sourcing the timestamps from gits
							
							
							
							
							
							
							
							Fixes #2 
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
							
								 
								Mirek Kratochvil
							
						 | 
						
							
							
							
							
								
							
							
								65944a1cdf
								
							
						 | 
						
							
							
								
								make a separate scripts directory (this gonna grow)
							
							
							
							
							
						 | 
						
							2023-06-22 11:43:28 +02:00 | 
						
						
							
							
							
								
							
							
						 |