Michael Weimann
							
						 | 
						
							
							
							
								
								
							
							
								
							
								526645c791
								
									
								
							
								
							
						 | 
						
							
							
								
								Apply prettier formatting
							
							
							
							
							
						 | 
						
							2022-12-12 12:24:14 +01:00 | 
						
					
				
					
						
							
							
								 
								Šimon Brandner
							
						 | 
						
							
							
							
								
								
							
							
								
							
								19e514d83c
								
									
								
							
								
							
						 | 
						
							
							
								
								Remove dead code (#9035)
							
							
							
							
							
						 | 
						
							2022-07-11 07:52:44 +02:00 | 
						
					
				
					
						
							
							
								 
								Michael Telatynski
							
						 | 
						
							
							
							
								
								
							
							
								
							
								fcc4939075
								
									
								
							
								
							
						 | 
						
							
							
								
								Fix naming of set-theory utils to match convention (#7343)
							
							
							
							
							
						 | 
						
							2021-12-13 10:57:51 +00:00 | 
						
					
				
					
						
							
							
								 
								Dominik Henneke
							
						 | 
						
							
							
							
								
								
							
							
								
							
								908e938996
								
									
								
							
								
							
						 | 
						
							
							
								
								Keep all previously approved widget capabilities when requesting new capabilities (#7340)
							
							
							
							
							
						 | 
						
							2021-12-13 10:34:04 +00:00 | 
						
					
				
					
						
							
							
								 
								J. Ryan Stinnett
							
						 | 
						
							
							
							
							
								
							
								ae0a8b8da4
								
							
								
							
						 | 
						
							
							
								
								Auto-fix lint errors
							
							
							
							
							
						 | 
						
							2021-06-29 13:11:58 +01:00 | 
						
					
				
					
						
							
							
								 
								Travis Ralston
							
						 | 
						
							
							
							
							
								
							
								2c459c4828
								
							
								
							
						 | 
						
							
							
								
								Move utility tests to the right place
							
							
							
							
							
						 | 
						
							2021-04-22 20:37:19 -06:00 |