| 
							
							
								 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 |  |