Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1979e7d75b
							
						
					 | 
					
						
						
							
							Fixes #3888
						
						
						
						
						
					 | 
					
						2019-08-23 09:40:49 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							95e6b6c0af
							
						
					 | 
					
						
						
							
							Implements #3835
						
						
						
						
						
					 | 
					
						2019-08-22 11:41:06 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							50b8de00bb
							
						
					 | 
					
						
						
							
							Patches #3887
						
						
						
						
						
					 | 
					
						2019-08-22 10:43:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							81289fa7cd
							
						
					 | 
					
						
						
							
							Fixes #3886
						
						
						
						
						
					 | 
					
						2019-08-21 15:29:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							576d81aa49
							
						
					 | 
					
						
						
							
							Minor log message update
						
						
						
						
						
					 | 
					
						2019-08-21 15:19:42 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							009a3c8391
							
						
					 | 
					
						
						
							
							Minor wording update
						
						
						
						
						
					 | 
					
						2019-08-21 14:08:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							65b0dbd4c4
							
						
					 | 
					
						
						
							
							Patches #3884
						
						
						
						
						
					 | 
					
						2019-08-20 00:35:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5f411f73e7
							
						
					 | 
					
						
						
							
							Fixes #3883
						
						
						
						
						
					 | 
					
						2019-08-20 00:22:55 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8584c0b021
							
						
					 | 
					
						
						
							
							Fixes #3880
						
						
						
						
						
					 | 
					
						2019-08-16 09:56:03 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3f1a8e81b4
							
						
					 | 
					
						
						
							
							Adding support for #3870
						
						
						
						
						
					 | 
					
						2019-08-13 15:22:02 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0e14647573
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-08-13 14:59:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bfe8785ed5
							
						
					 | 
					
						
						
							
							Minor regrouping
						
						
						
						
						
					 | 
					
						2019-08-13 14:55:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							412301bb18
							
						
					 | 
					
						
						
							
							Another trivial patch related to the last commit
						
						
						
						
						
					 | 
					
						2019-08-13 12:29:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							fd4becf389
							
						
					 | 
					
						
						
							
							Minor deprecation patch (drei)
						
						
						
						
						
					 | 
					
						2019-08-13 12:27:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							aa2682ec16
							
						
					 | 
					
						
						
							
							Fixes #3873
						
						
						
						
						
					 | 
					
						2019-08-13 12:23:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							94ef433a37
							
						
					 | 
					
						
						
							
							Minor update for #3874
						
						
						
						
						
					 | 
					
						2019-08-13 11:58:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							15f6796b04
							
						
					 | 
					
						
						
							
							Fixes #3871
						
						
						
						
						
					 | 
					
						2019-08-11 01:32:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							de63238897
							
						
					 | 
					
						
						
							
							Minor patch for --threads and multi Ctrl-C
						
						
						
						
						
					 | 
					
						2019-08-06 02:54:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1824e5b094
							
						
					 | 
					
						
						
							
							Trivial removal of leftover
						
						
						
						
						
					 | 
					
						2019-08-04 01:05:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a42a7c88bd
							
						
					 | 
					
						
						
							
							Fixes #3841
						
						
						
						
						
					 | 
					
						2019-08-04 01:05:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b5063fc25a
							
						
					 | 
					
						
						
							
							Implementation for #3859
						
						
						
						
						
					 | 
					
						2019-08-02 20:29:52 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							093b36f12d
							
						
					 | 
					
						
						
							
							Minor patch
						
						
						
						
						
					 | 
					
						2019-08-02 19:33:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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 | 
					
					
						
						
							
							
							
						
					 |