| 
					
						
							
								
								
								
									
									
									
										src
									
								
							
						
					
				 | 
				
					
						
							
							UI: use background color for navbar in dark mode
						
					
				 | 
				2018-07-20 15:53:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										tools
									
								
							
						
					
				 | 
				
					
						
							
							tools: bump version
						
					
				 | 
				2018-07-18 21:54:14 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								build.gradle
							
						
					
				 | 
				
					
						
							
							Version bump
						
					
				 | 
				2018-07-20 15:54:46 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								nonnull.gradle
							
						
					
				 | 
				
					
						
							
							global: Add nullity annotations
						
					
				 | 
				2018-07-13 03:46:23 +02:00 |