| 
						
					 | 
					
						
						
						
						
							
						
						
							fa1768381f
							
						
					 | 
					
						
						
							
							Also fetch tags.
						
						
						
						
						
						
					 | 
					
						2023-12-30 23:29:46 +01:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							1988bcc99b
							
						
					 | 
					
						
						
							
							Added update_repositories command line argument to refresh git repositories. And added recipe for Criterion.
						
						
						
						
						
						
					 | 
					
						2023-08-05 18:01:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							227daa21d2
							
						
					 | 
					
						
						
							
							Removed __pycache__ from repo.
						
						
						
						
						
						
					 | 
					
						2023-06-25 13:52:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
						
						
							
						
						
							0071b4942e
							
						
					 | 
					
						
						
							
							Add recipe support.
						
						
						
						
						
						
					 | 
					
						2023-06-25 12:44:11 +02:00 | 
					
					
						
						
							
							
							
						
					 |