|  | 47e23f7d8d | Service worker should update more aggressively now | 2024-07-16 16:11:14 +02:00 |  | 
				
					
						|  | 493ae60e95 | Fix build | 2024-07-10 11:52:30 +02:00 |  | 
				
					
						|  | e1b3f09e0a | Small improvements to the build | 2024-03-13 01:55:01 +01:00 |  | 
				
					
						|  | 7a37044a48 | Attempt to fix the build | 2024-03-12 21:49:11 +01:00 |  | 
				
					
						|  | 7e6b96080d | Attempt to fix build | 2024-03-12 17:06:15 +01:00 |  | 
				
					
						|  | 9aa21e2759 | Fix build: add mapcomplete-changes | 2023-12-30 16:41:39 +01:00 |  | 
				
					
						|  | 3cf6ebbb69 | Fix build | 2023-12-30 16:33:52 +01:00 |  | 
				
					
						|  | 7dbef4c68e | Split build step in two scripts | 2023-12-23 22:10:39 +01:00 |  |