Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a9de51380b
							
						
					 | 
					
						
						
							
							Implementation for #3845
						
						
						
						
						
					 | 
					
						2019-07-31 20:00:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ec0be6519f
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-31 19:53:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9e8aec37c8
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-07-30 20:31:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1f644bd3ae
							
						
					 | 
					
						
						
							
							Fixes #3854
						
						
						
						
						
					 | 
					
						2019-07-30 20:28:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							86abf179f2
							
						
					 | 
					
						
						
							
							Fixes #3850
						
						
						
						
						
					 | 
					
						2019-07-30 20:12:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4a6ff82273
							
						
					 | 
					
						
						
							
							Patch for #3851
						
						
						
						
						
					 | 
					
						2019-07-24 23:43:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							198ceb8ba1
							
						
					 | 
					
						
						
							
							Minor update regarding the #3834
						
						
						
						
						
					 | 
					
						2019-07-19 12:24:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0bc5069042
							
						
					 | 
					
						
						
							
							Implements #3834
						
						
						
						
						
					 | 
					
						2019-07-19 12:17:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bd1ea4fd73
							
						
					 | 
					
						
						
							
							Fixes #3837
						
						
						
						
						
					 | 
					
						2019-07-18 20:32:02 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							db90ff9c3f
							
						
					 | 
					
						
						
							
							Fixing mess with --common-files --threads>1 (threads in threads - '.shared.' hell)
						
						
						
						
						
					 | 
					
						2019-07-18 14:59:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b62680b4bc
							
						
					 | 
					
						
						
							
							Minor update (--technique=E --common-files)
						
						
						
						
						
					 | 
					
						2019-07-18 13:26:58 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							819bf47a11
							
						
					 | 
					
						
						
							
							Minor update (storing force-partial)
						
						
						
						
						
					 | 
					
						2019-07-18 12:16:03 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f06e9ecb58
							
						
					 | 
					
						
						
							
							Minor update for #3833
						
						
						
						
						
					 | 
					
						2019-07-18 11:58:40 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8fda828bc9
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-07-18 11:27:00 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							453a6fbc6f
							
						
					 | 
					
						
						
							
							Update for #3831
						
						
						
						
						
					 | 
					
						2019-07-17 13:20:24 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9d0f446c24
							
						
					 | 
					
						
						
							
							Dummy patch for #3830
						
						
						
						
						
					 | 
					
						2019-07-17 13:03:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e6173d7eaa
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-17 10:30:14 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1b0488160e
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-16 15:07:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							86392179c3
							
						
					 | 
					
						
						
							
							Minor patch related to the #3822
						
						
						
						
						
					 | 
					
						2019-07-16 14:02:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							823119a247
							
						
					 | 
					
						
						
							
							Update regarding #3826
						
						
						
						
						
					 | 
					
						2019-07-16 13:37:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							6b88fa3a30
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-07-16 09:40:59 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3c4aadf995
							
						
					 | 
					
						
						
							
							Fixes #3823
						
						
						
						
						
					 | 
					
						2019-07-15 13:08:22 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							34ed2c51ac
							
						
					 | 
					
						
						
							
							Minor style update
						
						
						
						
						
					 | 
					
						2019-07-12 14:19:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							eb14f296f6
							
						
					 | 
					
						
						
							
							Fixes #3820
						
						
						
						
						
					 | 
					
						2019-07-12 13:41:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							7d43429379
							
						
					 | 
					
						
						
							
							Fixes #3819
						
						
						
						
						
					 | 
					
						2019-07-12 12:18:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c3a95e81f5
							
						
					 | 
					
						
						
							
							Fixes #3797
						
						
						
						
						
					 | 
					
						2019-07-11 12:40:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c1ae1b432e
							
						
					 | 
					
						
						
							
							Update regarding #3813
						
						
						
						
						
					 | 
					
						2019-07-11 11:30:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							84d0b346e7
							
						
					 | 
					
						
						
							
							Patch for #3816
						
						
						
						
						
					 | 
					
						2019-07-11 11:13:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4c8d348e2f
							
						
					 | 
					
						
						
							
							Fixes #3812
						
						
						
						
						
					 | 
					
						2019-07-11 10:56:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							752aed2986
							
						
					 | 
					
						
						
							
							Patch for #3815
						
						
						
						
						
					 | 
					
						2019-07-10 13:49:41 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e10a96610d
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-10 10:49:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							090cbf75f1
							
						
					 | 
					
						
						
							
							Minor update for #3808
						
						
						
						
						
					 | 
					
						2019-07-08 13:48:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							71b63c9262
							
						
					 | 
					
						
						
							
							Update regarding 3804
						
						
						
						
						
					 | 
					
						2019-07-08 12:25:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f85abafd79
							
						
					 | 
					
						
						
							
							Patch for #3805
						
						
						
						
						
					 | 
					
						2019-07-08 11:55:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							40bc53537c
							
						
					 | 
					
						
						
							
							Fixes #3806
						
						
						
						
						
					 | 
					
						2019-07-08 11:53:19 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b4c00f4172
							
						
					 | 
					
						
						
							
							Update regarding #3802
						
						
						
						
						
					 | 
					
						2019-07-07 16:17:24 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d0c48df62c
							
						
					 | 
					
						
						
							
							Fixes #3801
						
						
						
						
						
					 | 
					
						2019-07-07 15:56:54 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3f99ec638f
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-04 12:03:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							83e1daab96
							
						
					 | 
					
						
						
							
							Fixes #3796
						
						
						
						
						
					 | 
					
						2019-07-04 11:18:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f9489c3352
							
						
					 | 
					
						
						
							
							Minor patch (fixes #3795)
						
						
						
						
						
					 | 
					
						2019-07-04 11:07:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3676cef79b
							
						
					 | 
					
						
						
							
							Preparing for something something
						
						
						
						
						
					 | 
					
						2019-07-03 16:30:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							25f29ca6b0
							
						
					 | 
					
						
						
							
							Minor updates
						
						
						
						
						
					 | 
					
						2019-07-03 10:56:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a7695dd06f
							
						
					 | 
					
						
						
							
							Fixes #3792
						
						
						
						
						
					 | 
					
						2019-07-03 09:17:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							7b668127fc
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-07-01 10:54:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3abd3e1a8d
							
						
					 | 
					
						
						
							
							Patching silent per-thread issue with technique switching (fixes #3784)
						
						
						
						
						
					 | 
					
						2019-07-01 10:43:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							32e09c8dfb
							
						
					 | 
					
						
						
							
							Couple of updates for #2908
						
						
						
						
						
					 | 
					
						2019-06-28 13:56:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							aa9b5e4e0c
							
						
					 | 
					
						
						
							
							Implements #2908
						
						
						
						
						
					 | 
					
						2019-06-27 17:28:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c938d77be9
							
						
					 | 
					
						
						
							
							Fixes #3781
						
						
						
						
						
					 | 
					
						2019-06-27 01:48:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							580dc2a4e2
							
						
					 | 
					
						
						
							
							Removing junk
						
						
						
						
						
					 | 
					
						2019-06-26 16:57:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							cb170f1f28
							
						
					 | 
					
						
						
							
							Implements #3780
						
						
						
						
						
					 | 
					
						2019-06-26 15:53:18 +02:00 | 
					
					
						
						
							
							
							
						
					 |