| 
					
						
							
								
								
								
									
									
									
										drm
									
								
							
						
					
				 | 
				
					
						
							
							backend/drm: remove unnecessary casts
						
					
				 | 
				2018-08-02 23:33:59 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										headless
									
								
							
						
					
				 | 
				
					
						
							
							rename wlr_tablet_tool to wlr_tablet
						
					
				 | 
				2018-07-14 09:49:58 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										libinput
									
								
							
						
					
				 | 
				
					
						
							
							Remove last remnant of tool_tool in libinput
						
					
				 | 
				2018-07-14 09:49:58 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										multi
									
								
							
						
					
				 | 
				
					
						
							
							util: add wlr_ prefix to log symbols
						
					
				 | 
				2018-07-09 22:49:54 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										wayland
									
								
							
						
					
				 | 
				
					
						
							
							util: add wlr_ prefix to log symbols
						
					
				 | 
				2018-07-09 22:49:54 +01:00 |