| 
							
						 | 
						
							
							
							
							
								
							
							
								1528dfaae1
								
							
						 | 
						
							
							
								
								Housekeeping: formatting
							
							
							
							
							
						 | 
						
							2024-02-20 13:33:38 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e13e9f652c
								
							
						 | 
						
							
							
								
								Chore: reordering attributes to have a fixed order
							
							
							
							
							
						 | 
						
							2023-10-30 18:08:38 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								29ff09024f
								
							
						 | 
						
							
							
								
								Merge develop
							
							
							
							
							
						 | 
						
							2023-10-30 16:32:43 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9ee3343426
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-10-30 13:44:27 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								553ee6d5aa
								
							
						 | 
						
							
							
								
								Merge develop
							
							
							
							
							
						 | 
						
							2023-10-17 16:57:49 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								af1e0d7e08
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-10-16 13:49:20 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								52bebf4daf
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-10-16 13:38:53 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								c358a4c415
								
							
						 | 
						
							
							
								
								Merge master
							
							
							
							
							
						 | 
						
							2023-10-14 23:29:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								0bdb35a016
								
							
						 | 
						
							
							
								
								Chore: housekeeping
							
							
							
							
							
						 | 
						
							2023-10-10 01:52:02 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								19a760178b
								
							
						 | 
						
							
							
								
								Refactoring: split icons into proper layered icons, fix and rerun shops-thief
							
							
							
							
							
						 | 
						
							2023-10-06 23:56:50 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								dc82ebbd58
								
							
						 | 
						
							
							
								
								Studio: WIP
							
							
							
							
							
						 | 
						
							2023-09-19 14:04:13 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								be5f46d8c8
								
							
						 | 
						
							
							
								
								Merge develop
							
							
							
							
							
						 | 
						
							2023-09-16 19:03:07 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								42c7bbe1c9
								
							
						 | 
						
							
							
								
								Chore: formatting
							
							
							
							
							
						 | 
						
							2023-09-16 18:52:42 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								6ff2c629f0
								
							
						 | 
						
							
							
								
								Merge branch 'master' into feature/studio
							
							
							
							
							
						 | 
						
							2023-07-28 14:38:12 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								0d598ad094
								
							
						 | 
						
							
							
								
								More steps toward REUSE-compliance
							
							
							
							
							
						 | 
						
							2023-07-27 03:32:49 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								d3aa5562a5
								
							
						 | 
						
							
							
								
								Unify some license expressions
							
							
							
							
							
						 | 
						
							2023-07-27 02:51:59 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								d534842d05
								
							
						 | 
						
							
							
								
								Themes: lint layers to use an array instead of a string for 'snapToLayers'
							
							
							
							
							
						 | 
						
							2023-06-22 17:25:08 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								a6f7b1300a
								
							
						 | 
						
							
							
								
								Refactoring: move 'snapToLayer' from 'preciseInput' into the preset, remove 'preferredBackground'. The addNewPointFlow _always_ shows the precise input flow with the basic map; so the preferredBackground became irrelevant
							
							
							
							
							
						 | 
						
							2023-06-20 01:52:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								0542163e27
								
							
						 | 
						
							
							
								
								Translation sync + typo fix
							
							
							
							
							
						 | 
						
							2023-05-01 10:10:47 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								18e1758701
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-24 12:23:42 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								19649d712d
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-16 15:09:26 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								fc947b68b3
								
							
						 | 
						
							
							
								
								Housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-08 02:05:27 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								09d522177a
								
							
						 | 
						
							
							
								
								Housekeeping...
							
							
							
							
							
						 | 
						
							2023-02-26 17:45:29 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								94cc60c95f
								
							
						 | 
						
							
							
								
								Automatic formatting
							
							
							
							
							
						 | 
						
							2023-02-23 14:39:08 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
								
								
									
										
									
								
							
							
							
								
							
							
								b9aa6ecbd1
								
							
						 | 
						
							
							
								
								Hide some of the answers
							
							
							
							
							
						 | 
						
							2023-02-17 21:47:44 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
								
								
									
										
									
								
							
							
							
								
							
							
								865dac1bb6
								
							
						 | 
						
							
							
								
								Added digital clock icon
							
							
							
							
							
						 | 
						
							2023-02-17 21:43:36 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
								
								
									
										
									
								
							
							
							
								
							
							
								c7517df948
								
							
						 | 
						
							
							
								
								Basic clocks theme
							
							
							
							
							
						 | 
						
							2023-02-15 23:48:05 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |