| 
							
						 | 
						
							
							
							
							
								
							
							
								663b194247
								
							
						 | 
						
							
							
								
								Chore: housekeeping: lint
							
							
							
							
							
						 | 
						
							2023-12-19 22:08:00 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								f7d19bcc02
								
							
						 | 
						
							
							
								
								Housekeeping
							
							
							
							
							
						 | 
						
							2023-11-23 15:47:16 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								85801d9bf1
								
							
						 | 
						
							
							
								
								Chore: translation sync and formatting
							
							
							
							
							
						 | 
						
							2023-11-09 16:31:01 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								556f6d0b93
								
							
						 | 
						
							
							
								
								Themes: add validation check if a mapping does not erase another mapping completely
							
							
							
							
							
						 | 
						
							2023-11-09 15:42:15 +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 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								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 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								55c6442cac
								
							
						 | 
						
							
							
								
								Merge develop
							
							
							
							
							
						 | 
						
							2023-10-01 13:13:07 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								8ef9b48e2b
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-09-28 16:56:25 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								c25e278747
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-09-21 12:14:02 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								91892d50c5
								
							
						 | 
						
							
							
								
								Fix: fix #1471: add option to bench for 'does probably not have an artwork'
							
							
							
							
							
						 | 
						
							2023-09-20 02:27:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								dc82ebbd58
								
							
						 | 
						
							
							
								
								Studio: WIP
							
							
							
							
							
						 | 
						
							2023-09-19 14:04:13 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								42c7bbe1c9
								
							
						 | 
						
							
							
								
								Chore: formatting
							
							
							
							
							
						 | 
						
							2023-09-16 18:52:42 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								a129b5c3bf
								
							
						 | 
						
							
							
								
								Chore: formatting
							
							
							
							
							
						 | 
						
							2023-09-01 16:06:22 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								1bbf08da7f
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-08-23 13:27:53 +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 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9e10bf421f
								
							
						 | 
						
							
							
								
								Themes: improve benches
							
							
							
							
							
						 | 
						
							2023-07-16 19:37:01 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								7b6b375ff9
								
							
						 | 
						
							
							
								
								Merge branch 'master' into develop
							
							
							
							
							
						 | 
						
							2023-07-15 19:29:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								996d9e43be
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-07-15 19:00:23 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e2a56f5e5c
								
							
						 | 
						
							
							
								
								Fix: use proper circle for bench and artwork
							
							
							
							
							
						 | 
						
							2023-07-15 17:21:51 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								75b1a467e0
								
							
						 | 
						
							
							
								
								Fix: add glow effect to bench theme for selected object
							
							
							
							
							
						 | 
						
							2023-07-08 02:53:03 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								4e57944b20
								
							
						 | 
						
							
							
								
								Chore: translation sync
							
							
							
							
							
						 | 
						
							2023-06-28 22:30:08 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								c260d16159
								
							
						 | 
						
							
							
								
								Refactoring: move more anchor specifications out of iconsize
							
							
							
							
							
						 | 
						
							2023-06-20 03:49:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e86f7d863e
								
							
						 | 
						
							
							
								
								Refactoring: further cleanup of the themes
							
							
							
							
							
						 | 
						
							2023-06-20 03:49:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
								
								
							
							
							
								
							
							
								5b33d88ffb
								
							
						 | 
						
							
							
								
								themes: bench.json: decrease minzoom
							
							
							
							
							
						 | 
						
							2023-06-16 23:50:57 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9cffe6814e
								
							
						 | 
						
							
							
								
								Merge: develop
							
							
							
							
							
						 | 
						
							2023-06-11 02:32:14 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								c47876e6f0
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-06-11 02:02:23 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e6163ed2eb
								
							
						 | 
						
							
							
								
								Merge develop
							
							
							
							
							
						 | 
						
							2023-05-08 00:20:32 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								0542163e27
								
							
						 | 
						
							
							
								
								Translation sync + typo fix
							
							
							
							
							
						 | 
						
							2023-05-01 10:10:47 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								4172af6a72
								
							
						 | 
						
							
							
								
								Refactoring: fix delete indication, fix splitroad, fix addition of multiple new points snapped onto the same way (all will properly attach now)
							
							
							
							
							
						 | 
						
							2023-04-20 17:42:07 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								e5ea4dbfa3
								
							
						 | 
						
							
							
								
								Fix build
							
							
							
							
							
						 | 
						
							2023-04-15 02:47:48 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								105120060d
								
							
						 | 
						
							
							
								
								Refactoring: add metatagging, add 'last edited by' element, add 'metacondition'
							
							
							
							
							
						 | 
						
							2023-04-15 02:28:24 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								40dbc82cff
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-04-03 00:33:50 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								b9e2af56bc
								
							
						 | 
						
							
							
								
								Merge master
							
							
							
							
							
						 | 
						
							2023-03-29 16:05:13 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								b67665d0cc
								
							
						 | 
						
							
							
								
								Add two_sided option
							
							
							
							
							
						 | 
						
							2023-03-29 16:02:03 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								48a26a2eaf
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-29 15:50:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								be73076979
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-27 15:09:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								9cb80cd001
								
							
						 | 
						
							
							
								
								Add two_sided option
							
							
							
							
							
						 | 
						
							2023-03-24 12:16:41 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								19649d712d
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-16 15:09:26 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								7464bf857f
								
							
						 | 
						
							
							
								
								chore: automated housekeeping...
							
							
							
							
							
						 | 
						
							2023-03-13 20:14:39 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								ac156a919b
								
							
						 | 
						
							
							
								
								chore: use question hint for bench
							
							
							
							
							
						 | 
						
							2023-03-08 03:47:51 +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 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								fd30c44352
								
							
						 | 
						
							
							
								
								Sync translations, regenerate docs, fix tests
							
							
							
							
							
						 | 
						
							2023-01-17 03:18:39 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						| 
							
						 | 
						
							
							
							
							
								
							
							
								0f3296bf2c
								
							
						 | 
						
							
							
								
								Add artwork badge to benches with an integrated artwork
							
							
							
							
							
						 | 
						
							2023-01-16 03:12:12 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |