Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							63c2d2050d
							
						
					 | 
					
						
						
							
							Fixes #3953
						
						
						
						
						
					 | 
					
						2019-10-09 20:06:47 +03:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							aed137ad80
							
						
					 | 
					
						
						
							
							Fixes #3948
						
						
						
						
						
					 | 
					
						2019-10-07 14:20:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9fd4a4f0d1
							
						
					 | 
					
						
						
							
							Removing deprecated files (online versions available)
						
						
						
						
						
					 | 
					
						2019-10-04 14:15:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							57511ac9df
							
						
					 | 
					
						
						
							
							Trivial update
						
						
						
						
						
					 | 
					
						2019-10-04 14:12:15 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5f41d94602
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-10-04 13:51:12 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c8a4e6378f
							
						
					 | 
					
						
						
							
							Minor improvement for --forms
						
						
						
						
						
					 | 
					
						2019-10-03 15:09:59 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							08d3228b5f
							
						
					 | 
					
						
						
							
							Minor improvement of --forms (jquery)
						
						
						
						
						
					 | 
					
						2019-10-03 14:38:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5cc36b452e
							
						
					 | 
					
						
						
							
							Minor improvement for crawling
						
						
						
						
						
					 | 
					
						2019-10-02 13:08:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d72660ef04
							
						
					 | 
					
						
						
							
							Adding a support for option-less URL arg
						
						
						
						
						
					 | 
					
						2019-10-01 15:37:09 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4833fb3aa6
							
						
					 | 
					
						
						
							
							Adding autocompletion script
						
						
						
						
						
					 | 
					
						2019-09-30 17:50:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f437a54561
							
						
					 | 
					
						
						
							
							Update regarding #3944
						
						
						
						
						
					 | 
					
						2019-09-27 21:59:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f05f84b6e5
							
						
					 | 
					
						
						
							
							Minor bug fix
						
						
						
						
						
					 | 
					
						2019-09-27 21:35:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							871ebfdb70
							
						
					 | 
					
						
						
							
							Fixes #3943
						
						
						
						
						
					 | 
					
						2019-09-27 21:03:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d34619232f
							
						
					 | 
					
						
						
							
							Implements #3940
						
						
						
						
						
					 | 
					
						2019-09-26 10:36:47 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5168daf6ce
							
						
					 | 
					
						
						
							
							Fixes #3939
						
						
						
						
						
					 | 
					
						2019-09-24 10:24:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							95e476d5c9
							
						
					 | 
					
						
						
							
							Fixes #3937
						
						
						
						
						
					 | 
					
						2019-09-22 20:14:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							cc8209d648
							
						
					 | 
					
						
						
							
							Patch related to the #3927
						
						
						
						
						
					 | 
					
						2019-09-16 19:29:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							6ec6e86937
							
						
					 | 
					
						
						
							
							Update regarding #3928
						
						
						
						
						
					 | 
					
						2019-09-16 10:18:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							018908c2b1
							
						
					 | 
					
						
						
							
							Fixes #3925
						
						
						
						
						
					 | 
					
						2019-09-16 10:11:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9e69d6076d
							
						
					 | 
					
						
						
							
							Fixes #3929
						
						
						
						
						
					 | 
					
						2019-09-16 10:08:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ad785ea0a2
							
						
					 | 
					
						
						
							
							Fixes #3926
						
						
						
						
						
					 | 
					
						2019-09-16 10:03:19 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b51f02c2ca
							
						
					 | 
					
						
						
							
							Patch related to #3918
						
						
						
						
						
					 | 
					
						2019-09-13 16:30:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ea3de16f24
							
						
					 | 
					
						
						
							
							Implementing PEP 479 (fixes #3924)
						
						
						
						
						
					 | 
					
						2019-09-13 11:38:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f29c4e1e07
							
						
					 | 
					
						
						
							
							Minor generalization regarding last commit (#3917)
						
						
						
						
						
					 | 
					
						2019-09-12 15:29:15 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e8871b8a99
							
						
					 | 
					
						
						
							
							Fixes #3917
						
						
						
						
						
					 | 
					
						2019-09-12 15:20:00 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8b88bb82d3
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-09-11 14:05:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							30fba849e2
							
						
					 | 
					
						
						
							
							Implements #3916
						
						
						
						
						
					 | 
					
						2019-09-09 13:56:37 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							617c336813
							
						
					 | 
					
						
						
							
							Minor improvements
						
						
						
						
						
					 | 
					
						2019-09-09 11:45:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							89a5892dd9
							
						
					 | 
					
						
						
							
							Dirty patch for #3915
						
						
						
						
						
					 | 
					
						2019-09-09 11:15:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							af8a2afde1
							
						
					 | 
					
						
						
							
							Cosmetics (trivial)
						
						
						
						
						
					 | 
					
						2019-09-05 11:33:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ceaf387533
							
						
					 | 
					
						
						
							
							Fixes #3912
						
						
						
						
						
					 | 
					
						2019-09-05 11:22:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e5a1377c36
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-09-05 11:15:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bb61b08c83
							
						
					 | 
					
						
						
							
							Minor update of fingerprints
						
						
						
						
						
					 | 
					
						2019-09-03 14:01:37 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							2d63441cc4
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-09-02 15:58:57 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							80f6460f72
							
						
					 | 
					
						
						
							
							Minor update for Firebird
						
						
						
						
						
					 | 
					
						2019-09-02 12:22:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f2c2864ab4
							
						
					 | 
					
						
						
							
							Couple of trivial updates
						
						
						
						
						
					 | 
					
						2019-08-30 14:43:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9eda11d081
							
						
					 | 
					
						
						
							
							Trivial update
						
						
						
						
						
					 | 
					
						2019-08-29 17:07:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							54e93e53df
							
						
					 | 
					
						
						
							
							Fixes #3898
						
						
						
						
						
					 | 
					
						2019-08-27 13:41:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f6e1f11711
							
						
					 | 
					
						
						
							
							Fixes #3897
						
						
						
						
						
					 | 
					
						2019-08-27 13:39:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0a21635e7f
							
						
					 | 
					
						
						
							
							Adding a minor thing (history reasons)
						
						
						
						
						
					 | 
					
						2019-08-26 17:33:03 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							83aa1ac6a7
							
						
					 | 
					
						
						
							
							Implements #3895
						
						
						
						
						
					 | 
					
						2019-08-26 17:27:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0aa15a72b0
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-08-26 16:51:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							fecd830622
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-08-26 16:46:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							32a4f6c32f
							
						
					 | 
					
						
						
							
							Initial patch for #3894 (not final)
						
						
						
						
						
					 | 
					
						2019-08-25 13:20:06 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9a47b4025b
							
						
					 | 
					
						
						
							
							Trivial update/patch
						
						
						
						
						
					 | 
					
						2019-08-23 09:49:16 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								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 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5650e1a1a4
							
						
					 | 
					
						
						
							
							Fixes #3776
						
						
						
						
						
					 | 
					
						2019-06-26 11:31:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							39cb938827
							
						
					 | 
					
						
						
							
							Fixes #3775
						
						
						
						
						
					 | 
					
						2019-06-26 11:06:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							de77ce131f
							
						
					 | 
					
						
						
							
							Patches #3773
						
						
						
						
						
					 | 
					
						2019-06-26 11:02:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e355a087a4
							
						
					 | 
					
						
						
							
							Fixes #3767
						
						
						
						
						
					 | 
					
						2019-06-21 10:15:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e565fa1fad
							
						
					 | 
					
						
						
							
							Dirty fix for #3766
						
						
						
						
						
					 | 
					
						2019-06-18 23:16:53 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9d055c723b
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-18 00:59:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							89af62ab95
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-18 00:45:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							60f69a5ca0
							
						
					 | 
					
						
						
							
							Fixes #3764
						
						
						
						
						
					 | 
					
						2019-06-17 16:40:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							797bc7b75f
							
						
					 | 
					
						
						
							
							Fixes #3762
						
						
						
						
						
					 | 
					
						2019-06-17 14:59:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8220b6264c
							
						
					 | 
					
						
						
							
							Fixes #3759
						
						
						
						
						
					 | 
					
						2019-06-16 17:23:46 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3b3f4926e4
							
						
					 | 
					
						
						
							
							Patch for #3756 and #3761
						
						
						
						
						
					 | 
					
						2019-06-16 16:21:18 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							27e2409e17
							
						
					 | 
					
						
						
							
							Fixes #3755
						
						
						
						
						
					 | 
					
						2019-06-14 12:20:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8eaac41e01
							
						
					 | 
					
						
						
							
							Fixes #3752
						
						
						
						
						
					 | 
					
						2019-06-13 11:05:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0db8b8e268
							
						
					 | 
					
						
						
							
							Minor renaming
						
						
						
						
						
					 | 
					
						2019-06-13 10:59:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							468eed8532
							
						
					 | 
					
						
						
							
							Fixes #3753
						
						
						
						
						
					 | 
					
						2019-06-13 10:58:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							5650abbb4a
							
						
					 | 
					
						
						
							
							Adding support for argparse
						
						
						
						
						
					 | 
					
						2019-06-11 01:45:23 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a9d0ecbc66
							
						
					 | 
					
						
						
							
							Minor patch (argparse preparation)
						
						
						
						
						
					 | 
					
						2019-06-10 23:23:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							446581496f
							
						
					 | 
					
						
						
							
							Probably fixes #3744
						
						
						
						
						
					 | 
					
						2019-06-09 01:28:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ce3abdaa4d
							
						
					 | 
					
						
						
							
							Fixes #3745
						
						
						
						
						
					 | 
					
						2019-06-09 01:11:29 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e30155b657
							
						
					 | 
					
						
						
							
							Minor patch (multi-target resume)
						
						
						
						
						
					 | 
					
						2019-06-07 10:37:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							fa1052e8fc
							
						
					 | 
					
						
						
							
							Trivial patch regarding #3741
						
						
						
						
						
					 | 
					
						2019-06-07 01:39:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							bade832a41
							
						
					 | 
					
						
						
							
							Fixes #3741
						
						
						
						
						
					 | 
					
						2019-06-07 01:34:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							90a735e3da
							
						
					 | 
					
						
						
							
							Adding advice(s) in case of no provided parameters
						
						
						
						
						
					 | 
					
						2019-06-07 00:55:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							28c5a709bd
							
						
					 | 
					
						
						
							
							Minor renaming
						
						
						
						
						
					 | 
					
						2019-06-07 00:21:43 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							02c8f47892
							
						
					 | 
					
						
						
							
							Adding support for WebSocket over SSL (wss://)
						
						
						
						
						
					 | 
					
						2019-06-06 23:45:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8a97e7edcc
							
						
					 | 
					
						
						
							
							Trivial renaming
						
						
						
						
						
					 | 
					
						2019-06-06 23:13:34 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							10152db8ee
							
						
					 | 
					
						
						
							
							Minor patch for PIP --smoke
						
						
						
						
						
					 | 
					
						2019-06-06 13:40:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3d150233c5
							
						
					 | 
					
						
						
							
							Removing old file
						
						
						
						
						
					 | 
					
						2019-06-06 13:09:08 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							87525d8bcb
							
						
					 | 
					
						
						
							
							Adding deprecated options (along with obsolete)
						
						
						
						
						
					 | 
					
						2019-06-06 13:08:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1c2dec031c
							
						
					 | 
					
						
						
							
							'Calling Travis'
						
						
						
						
						
					 | 
					
						2019-06-06 12:46:38 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							677dd20d6c
							
						
					 | 
					
						
						
							
							Considerable improvement of --parse-errors (and patch)
						
						
						
						
						
					 | 
					
						2019-06-06 12:13:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							0e409d4479
							
						
					 | 
					
						
						
							
							Fixes #3740
						
						
						
						
						
					 | 
					
						2019-06-06 11:44:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ceb718107f
							
						
					 | 
					
						
						
							
							Patch for live-testing
						
						
						
						
						
					 | 
					
						2019-06-05 14:23:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9df1a3d640
							
						
					 | 
					
						
						
							
							Minor patch for PostgreSQL UDF handling
						
						
						
						
						
					 | 
					
						2019-06-05 12:22:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a2bc690170
							
						
					 | 
					
						
						
							
							Update of PostgreSQL UDFs
						
						
						
						
						
					 | 
					
						2019-06-05 12:16:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							292c1dc91f
							
						
					 | 
					
						
						
							
							Adding missing so libraries for PgSQL
						
						
						
						
						
					 | 
					
						2019-06-05 12:03:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							77e1b99a2c
							
						
					 | 
					
						
						
							
							Fixes #3739
						
						
						
						
						
					 | 
					
						2019-06-05 10:37:11 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							98582d5ac6
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-06-04 15:46:56 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							d444bf198e
							
						
					 | 
					
						
						
							
							Bug fix (double newline - e.g. in adjusting delay)
						
						
						
						
						
					 | 
					
						2019-06-04 15:24:40 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							193889e97f
							
						
					 | 
					
						
						
							
							Bug fix for --disable-coloring
						
						
						
						
						
					 | 
					
						2019-06-04 14:59:01 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							70710df2ac
							
						
					 | 
					
						
						
							
							Trivial update
						
						
						
						
						
					 | 
					
						2019-06-04 14:48:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							495e7c8210
							
						
					 | 
					
						
						
							
							Trivial update
						
						
						
						
						
					 | 
					
						2019-06-04 14:44:06 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b6fbca05d5
							
						
					 | 
					
						
						
							
							Couple of trivial patches
						
						
						
						
						
					 | 
					
						2019-06-04 13:04:31 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							3ac1283900
							
						
					 | 
					
						
						
							
							Further pleasing pylint deity
						
						
						
						
						
					 | 
					
						2019-06-04 12:15:39 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c154e64a19
							
						
					 | 
					
						
						
							
							Fixes #3737
						
						
						
						
						
					 | 
					
						2019-06-04 10:55:07 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							2b79f45cbc
							
						
					 | 
					
						
						
							
							Trivial update (unused globals)
						
						
						
						
						
					 | 
					
						2019-06-03 15:11:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c00a642569
							
						
					 | 
					
						
						
							
							Implementing support for --file-read on Oracle (Issue #26)
						
						
						
						
						
					 | 
					
						2019-06-03 14:21:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b3cdec547b
							
						
					 | 
					
						
						
							
							Some renaming (pylint stuff)
						
						
						
						
						
					 | 
					
						2019-06-03 10:41:51 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e236ba5616
							
						
					 | 
					
						
						
							
							Removing single-thread limit for time-based SQLi
						
						
						
						
						
					 | 
					
						2019-06-01 16:33:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a6b6b91989
							
						
					 | 
					
						
						
							
							Further pleasing pylint gods
						
						
						
						
						
					 | 
					
						2019-06-01 13:42:57 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f9fe1dde73
							
						
					 | 
					
						
						
							
							Minor patch (WAFs with 404)
						
						
						
						
						
					 | 
					
						2019-06-01 12:55:53 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b83bdee764
							
						
					 | 
					
						
						
							
							Trivial update for #481
						
						
						
						
						
					 | 
					
						2019-06-01 12:38:37 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							357989774a
							
						
					 | 
					
						
						
							
							Minor update (resumed...)
						
						
						
						
						
					 | 
					
						2019-06-01 12:22:59 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f0306af58d
							
						
					 | 
					
						
						
							
							Fixes #3732
						
						
						
						
						
					 | 
					
						2019-06-01 09:17:21 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							de57a28223
							
						
					 | 
					
						
						
							
							Pleasing Travis CI
						
						
						
						
						
					 | 
					
						2019-06-01 00:55:36 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							94c00fd3bc
							
						
					 | 
					
						
						
							
							Trivial refactoring
						
						
						
						
						
					 | 
					
						2019-06-01 00:53:47 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							956b0eb69d
							
						
					 | 
					
						
						
							
							Trivial message update
						
						
						
						
						
					 | 
					
						2019-06-01 00:44:10 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							2f5a5e5726
							
						
					 | 
					
						
						
							
							Fine tuning raw/binary/blob password hash cases
						
						
						
						
						
					 | 
					
						2019-06-01 00:31:26 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9a7d9a6017
							
						
					 | 
					
						
						
							
							Couple of patches (related to previous commit)
						
						
						
						
						
					 | 
					
						2019-05-31 23:32:28 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b39a1ad0a7
							
						
					 | 
					
						
						
							
							Fixes #3731
						
						
						
						
						
					 | 
					
						2019-05-31 15:42:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							42ef5618c3
							
						
					 | 
					
						
						
							
							Automatically detecting RAW password hashes in table dumps
						
						
						
						
						
					 | 
					
						2019-05-31 11:57:32 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							9b6d30da0d
							
						
					 | 
					
						
						
							
							Minor improvement for international strings in payloads
						
						
						
						
						
					 | 
					
						2019-05-31 00:17:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							257fa3e9e4
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-05-30 23:03:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							f8e9f9c87d
							
						
					 | 
					
						
						
							
							Further pleasing the pylint gods
						
						
						
						
						
					 | 
					
						2019-05-30 23:03:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							1f7ee039ad
							
						
					 | 
					
						
						
							
							Bug fix (place overriden in case of token)
						
						
						
						
						
					 | 
					
						2019-05-30 23:03:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							c188eb5608
							
						
					 | 
					
						
						
							
							Minor pylint stuff
						
						
						
						
						
					 | 
					
						2019-05-30 23:03:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e2c0def5f8
							
						
					 | 
					
						
						
							
							Trivial update
						
						
						
						
						
					 | 
					
						2019-05-30 23:03:17 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4077cd2342
							
						
					 | 
					
						
						
							
							Pleasing the pylint gods
						
						
						
						
						
					 | 
					
						2019-05-29 16:42:04 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							95560da7c1
							
						
					 | 
					
						
						
							
							Implements #1222
						
						
						
						
						
					 | 
					
						2019-05-29 15:52:33 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							00435934bc
							
						
					 | 
					
						
						
							
							Minor improvement for --parse-errors
						
						
						
						
						
					 | 
					
						2019-05-28 23:44:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							8ca4cffb98
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-05-28 14:12:35 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b08e4aed83
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-05-28 14:02:44 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							53847447fd
							
						
					 | 
					
						
						
							
							Trivial drei DeprecationWarning patch
						
						
						
						
						
					 | 
					
						2019-05-28 13:52:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							23130aa6bd
							
						
					 | 
					
						
						
							
							Fixes #3696
						
						
						
						
						
					 | 
					
						2019-05-27 13:39:20 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							a25de423f2
							
						
					 | 
					
						
						
							
							Refactoring of obsolete switch/options cases
						
						
						
						
						
					 | 
					
						2019-05-27 13:23:50 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							4857f36883
							
						
					 | 
					
						
						
							
							Probably fixes #3713
						
						
						
						
						
					 | 
					
						2019-05-27 13:15:45 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							867e881d1d
							
						
					 | 
					
						
						
							
							Minor refactoring
						
						
						
						
						
					 | 
					
						2019-05-27 13:09:13 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							b5e489f0f0
							
						
					 | 
					
						
						
							
							Fixes #3720
						
						
						
						
						
					 | 
					
						2019-05-27 13:03:25 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							eb2e78b445
							
						
					 | 
					
						
						
							
							Fixes #3717
						
						
						
						
						
					 | 
					
						2019-05-26 16:09:48 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e6496db66f
							
						
					 | 
					
						
						
							
							Fixes #3710
						
						
						
						
						
					 | 
					
						2019-05-25 08:23:05 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							e6eeac5ede
							
						
					 | 
					
						
						
							
							Trivial message update
						
						
						
						
						
					 | 
					
						2019-05-25 00:33:30 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							ebfcf05512
							
						
					 | 
					
						
						
							
							Improvement for #3453
						
						
						
						
						
					 | 
					
						2019-05-25 00:22:27 +02:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Miroslav Stampar
							
						 
					 | 
					
						
						
						
						
							
						
						
							6bbfec91b4
							
						
					 | 
					
						
						
							
							Minor update
						
						
						
						
						
					 | 
					
						2019-05-24 23:51:58 +02:00 | 
					
					
						
						
							
							
							
						
					 |