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