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