| 
							
							
								 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 |  | 
			
				
					| 
							
							
								 TaeGeun Moon | dadb33bfdb | Add Korean translation for README (#3881) * Add Korean translation for README
* Only on main page
* Only on main page | 2019-08-16 10:28:23 +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 |  |